From 2a9a653b2b7381b118b78755b198aaf33452fc7e Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 18 Feb 2013 15:08:23 +0100 Subject: [PATCH] timer & hw & omap4: compile bug in Platform_timer fix #652 --- os/src/drivers/timer/hw/omap4/platform_timer_base.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/os/src/drivers/timer/hw/omap4/platform_timer_base.h b/os/src/drivers/timer/hw/omap4/platform_timer_base.h index 7f569e2dd..79659747c 100644 --- a/os/src/drivers/timer/hw/omap4/platform_timer_base.h +++ b/os/src/drivers/timer/hw/omap4/platform_timer_base.h @@ -143,7 +143,7 @@ namespace Genode /** * Get remaining counting amount */ - unsigned long _value() { return max_value() - read(); } + unsigned long _value() const { return max_value() - read(); } /** * Apply counting amount @@ -208,12 +208,12 @@ namespace Genode /** * Maximum timeout value */ - unsigned long max_value() { return Tcrr::max_value(); } + unsigned long max_value() const { return Tcrr::max_value(); } /** * Translate timer tics to microseconds */ - unsigned long tics_to_us(unsigned long const tics) + unsigned long tics_to_us(unsigned long const tics) const { float const us = tics * us_per_tic(); return (unsigned long)us; @@ -231,7 +231,7 @@ namespace Genode /** * Sample the timer counter and according wrapped status */ - unsigned long value(bool & wrapped) + unsigned long value(bool & wrapped) const { Tcrr::access_t const v = _value(); wrapped = (bool)read();