From 695ac957f4b45c8b3a06e42185fa5d3e18b3c2b9 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 23 Mar 2015 19:58:27 +0100 Subject: [PATCH] base: add missing override annotations --- repos/base/include/base/allocator_avl.h | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/repos/base/include/base/allocator_avl.h b/repos/base/include/base/allocator_avl.h index 0dd6e1ac5..b873da11e 100644 --- a/repos/base/include/base/allocator_avl.h +++ b/repos/base/include/base/allocator_avl.h @@ -238,13 +238,14 @@ class Genode::Allocator_avl_base : public Range_allocator ** Range allocator interface ** *******************************/ - int add_range(addr_t base, size_t size); - int remove_range(addr_t base, size_t size); - Alloc_return alloc_aligned(size_t size, void **out_addr, int align = 0, addr_t from = 0, addr_t to = ~0UL); - Alloc_return alloc_addr(size_t size, addr_t addr); - void free(void *addr); - size_t avail(); - bool valid_addr(addr_t addr); + int add_range(addr_t base, size_t size) override; + 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) override; + Alloc_return alloc_addr(size_t size, addr_t addr) override; + void free(void *addr) override; + size_t avail() override; + bool valid_addr(addr_t addr) override; /*************************