mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-10 19:31:48 +00:00
base: add missing override annotations
This commit is contained in:
parent
6fc372bcf4
commit
695ac957f4
@ -238,13 +238,14 @@ class Genode::Allocator_avl_base : public Range_allocator
|
|||||||
** Range allocator interface **
|
** Range allocator interface **
|
||||||
*******************************/
|
*******************************/
|
||||||
|
|
||||||
int add_range(addr_t base, size_t size);
|
int add_range(addr_t base, size_t size) override;
|
||||||
int remove_range(addr_t base, size_t size);
|
int remove_range(addr_t base, size_t size) override;
|
||||||
Alloc_return alloc_aligned(size_t size, void **out_addr, int align = 0, addr_t from = 0, addr_t to = ~0UL);
|
Alloc_return alloc_aligned(size_t size, void **out_addr, int align = 0,
|
||||||
Alloc_return alloc_addr(size_t size, addr_t addr);
|
addr_t from = 0, addr_t to = ~0UL) override;
|
||||||
void free(void *addr);
|
Alloc_return alloc_addr(size_t size, addr_t addr) override;
|
||||||
size_t avail();
|
void free(void *addr) override;
|
||||||
bool valid_addr(addr_t addr);
|
size_t avail() override;
|
||||||
|
bool valid_addr(addr_t addr) override;
|
||||||
|
|
||||||
|
|
||||||
/*************************
|
/*************************
|
||||||
|
Loading…
x
Reference in New Issue
Block a user