From 48d1141917416a314ade3b29145e476242dbbf20 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 16 Mar 2017 12:43:27 +0100 Subject: [PATCH] core: improve formatting of allocator dumps This patch uses the 'Hex_range' and 'Number_of_bytes' utilities to make the formatted output of 'Allocator_avl_base' better readable. --- repos/base/src/core/dump_alloc.cc | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/repos/base/src/core/dump_alloc.cc b/repos/base/src/core/dump_alloc.cc index cc8fdcc9f..1ce8856ea 100644 --- a/repos/base/src/core/dump_alloc.cc +++ b/repos/base/src/core/dump_alloc.cc @@ -12,6 +12,7 @@ * under the terms of the GNU Affero General Public License version 3. */ +#include #include void Genode::Allocator_avl_base::print(Genode::Output & out) const @@ -24,9 +25,10 @@ void Genode::Allocator_avl_base::print(Genode::Output & out) const _addr_tree.for_each([&] (Block const & b) { - print(out, " Block: [", Hex(b.addr()), ",", Hex(b.addr() + b.size()), - "] ", "size=", Hex(b.size()), " avail=", Hex(b.avail()), " ", - "max_avail=", Hex(b.max_avail()), "\n"); + print(out, " Block: ", Hex_range(b.addr(), b.size()), " " + "size=", Number_of_bytes(b.size()), " " + "avail=", Number_of_bytes(b.avail()), " " + "max_avail=", Number_of_bytes(b.max_avail()), "\n"); mem_size += b.size(); mem_avail += b.avail(); });