base-hw: don't use 'long' unnecessarily

Fix #581
2025-06-23 17:17:38 +00:00 · 2012-12-19 14:46:48 +01:00
parent 28f81c4a9c
commit 4fb5c23a3c
26 changed files with 150 additions and 157 deletions
--- a/base-hw/include/base/ipc_pager.h
+++ b/base-hw/include/base/ipc_pager.h
@ -151,7 +151,7 @@ namespace Genode
 			/**
 			 * Return badge for faulting thread
 			 */
-			unsigned long badge() const { return _pagefault.thread_id; }
+			unsigned badge() const { return _pagefault.thread_id; }

 			/**
 			 * Return true if last fault was a write fault