From 8f4fbce2d60e75a3505172195eb22a61612bb770 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 4 Nov 2016 10:32:34 +0100 Subject: [PATCH] nova: remove unused debug utility Issue #2163 --- repos/base-nova/src/core/include/util.h | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/repos/base-nova/src/core/include/util.h b/repos/base-nova/src/core/include/util.h index ea083b2696..0ea99a3523 100644 --- a/repos/base-nova/src/core/include/util.h +++ b/repos/base-nova/src/core/include/util.h @@ -40,17 +40,6 @@ namespace Genode { return size_log2 > MAX_MAP_LOG2 ? MAX_MAP_LOG2 : size_log2; } - - inline void backtrace() - { - using namespace Genode; - log("\nbacktrace"); - log(" ", __builtin_return_address(0)); - log(" ", __builtin_return_address(1)); - log(" ", __builtin_return_address(2)); - log(" ", __builtin_return_address(3)); - log(" ", __builtin_return_address(4)); - } } #endif /* _CORE__INCLUDE__UTIL_H_ */