base: fix timer_ticks_to_us casting error

Fix #3155
2019-02-14 10:52:56 +01:00 · 2019-02-14 10:52:56 +01:00 · 5136d9ddc7
parent 10b6b88b01
commit 5136d9ddc7
1 changed files with 2 additions and 2 deletions
--- a/repos/base/include/drivers/timer/util.h
+++ b/repos/base/include/drivers/timer/util.h
@ -40,8 +40,8 @@ namespace Genode {
 	{
 		enum:RESULT_T {
 			HALF_WIDTH = (sizeof(RESULT_T) << 2),
-			MSB_MASK  = ((RESULT_T)~0UL) << HALF_WIDTH,
-			LSB_MASK  = ((RESULT_T)~0UL) >> HALF_WIDTH,
+			MSB_MASK  = (~(RESULT_T)0) << HALF_WIDTH,
+			LSB_MASK  = (~(RESULT_T)0) >> HALF_WIDTH,
 			MSB_RSHIFT = 10,
 			LSB_LSHIFT = HALF_WIDTH - MSB_RSHIFT,
 		};