2004-10-28 Marcus Brinkmann <marcus@gnu.org>

	* l4/gnu/types.h: Include <stdbool.h>.
	* l4/gnu/ipc.h (l4_is_msg_tag_equal, l4_is_msg_tag_not_equal)
	(l4_is_map_item, l4_is_grant_item, l4_is_string_item)
	(l4_compound_string, l4_has_string_items, l4_has_map_grant_items)
	(l4_ipc_succeeded, l4_ipc_failed, l4_ipc_propagated)
	(l4_ipc_redirected, l4_ipc_xcpu): Change return type to bool.
	* l4/gnu/kip.h (l4_is_memory_desc_virtual): Likewise.
	* l4/gnu/schedule.h (l4_is_time_shorter, l4_is_time_equal)
	(l4_is_time_not_equal, l4_enable_preemption_fault_exception)
	(l4_disable_preemption_fault_exception, l4_enable_preemption)
	(l4_disable_preemption, l4_preemptionpending): Likewise.
	* l4/gnu/space.h (l4_is_nil_fpage, l4_was_referenced)
	(l4_was_written, l4_was_executed): Likewise.
	* l4/gnu/thread.h (l4_is_thread_equal, l4_is_thread_not_equal)
	(l4_same_threads, l4_is_nil_thread, l4_is_local_id)
	(l4_is_global_id): Likewise.

7 files changed, 51 insertions, 32 deletions

diff --git a/libl4/ChangeLog b/libl4/ChangeLog
index bf01e1f..c4da1e3 100644
--- a/libl4/ChangeLog
+++ b/libl4/ChangeLog
@@ -1,5 +1,22 @@
 2004-10-28  Marcus Brinkmann  <marcus@gnu.org>
 
+	* l4/gnu/types.h: Include <stdbool.h>.
+	* l4/gnu/ipc.h (l4_is_msg_tag_equal, l4_is_msg_tag_not_equal) 
+	(l4_is_map_item, l4_is_grant_item, l4_is_string_item) 
+	(l4_compound_string, l4_has_string_items, l4_has_map_grant_items) 
+	(l4_ipc_succeeded, l4_ipc_failed, l4_ipc_propagated) 
+	(l4_ipc_redirected, l4_ipc_xcpu): Change return type to bool.
+	* l4/gnu/kip.h (l4_is_memory_desc_virtual): Likewise.
+	* l4/gnu/schedule.h (l4_is_time_shorter, l4_is_time_equal) 
+	(l4_is_time_not_equal, l4_enable_preemption_fault_exception) 
+	(l4_disable_preemption_fault_exception, l4_enable_preemption) 
+	(l4_disable_preemption, l4_preemptionpending): Likewise.
+	* l4/gnu/space.h (l4_is_nil_fpage, l4_was_referenced) 
+	(l4_was_written, l4_was_executed): Likewise.
+	* l4/gnu/thread.h (l4_is_thread_equal, l4_is_thread_not_equal) 
+	(l4_same_threads, l4_is_nil_thread, l4_is_local_id) 
+	(l4_is_global_id): Likewise.
+
 	* l4/compat/thread.h (L4_ThreadId_t): Move to ...
 	* l4/compat/types.h (L4_ThreadId_t): ... here.
 
diff --git a/libl4/l4/gnu/ipc.h b/libl4/l4/gnu/ipc.h
index 67c9988..7985b22 100644
--- a/libl4/l4/gnu/ipc.h
+++ b/libl4/l4/gnu/ipc.h
@@ -28,7 +28,7 @@ typedef _L4_msg_tag_t l4_msg_tag_t;
 
 #define	l4_niltag	_L4_niltag
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_msg_tag_equal (l4_msg_tag_t l, l4_msg_tag_t r)
 {
@@ -36,7 +36,7 @@ l4_is_msg_tag_equal (l4_msg_tag_t l, l4_msg_tag_t r)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_msg_tag_not_equal (l4_msg_tag_t l, l4_msg_tag_t r)
 {
@@ -145,7 +145,7 @@ l4_map_item (l4_fpage_t fpage, l4_word_t send_base)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_map_item (l4_map_item_t map_item)
 {
@@ -181,7 +181,7 @@ l4_grant_item (l4_fpage_t fpage, l4_word_t send_base)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_grant_item (l4_grant_item_t grant_item)
 {
@@ -214,7 +214,7 @@ typedef _L4_cache_allocation_hint_t l4_cache_allocation_hint_t;
 #define L4_use_default_cache_line_allocation \
   _L4_use_default_cache_line_allocation
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_string_item (l4_string_item_t *string_item)
 {
@@ -222,7 +222,7 @@ l4_is_string_item (l4_string_item_t *string_item)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_compound_string (l4_string_item_t *string_item)
 {
@@ -341,7 +341,7 @@ l4_remove_acceptor_from (l4_acceptor_t *acceptor1, l4_acceptor_t acceptor2)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_has_string_items (l4_acceptor_t acceptor)
 {
@@ -349,7 +349,7 @@ l4_has_string_items (l4_acceptor_t acceptor)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_has_map_grant_items (l4_acceptor_t acceptor)
 {
@@ -761,7 +761,7 @@ l4_lreply_wait (l4_thread_id_t dest, l4_thread_id_t *from)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_ipc_succeeded (l4_msg_tag_t tag)
 {
@@ -769,7 +769,7 @@ l4_ipc_succeeded (l4_msg_tag_t tag)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_ipc_failed (l4_msg_tag_t tag)
 {
@@ -777,7 +777,7 @@ l4_ipc_failed (l4_msg_tag_t tag)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_ipc_propagated (l4_msg_tag_t tag)
 {
@@ -785,7 +785,7 @@ l4_ipc_propagated (l4_msg_tag_t tag)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_ipc_redirected (l4_msg_tag_t tag)
 {
@@ -793,7 +793,7 @@ l4_ipc_redirected (l4_msg_tag_t tag)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_ipc_xcpu (l4_msg_tag_t tag)
 {
diff --git a/libl4/l4/gnu/kip.h b/libl4/l4/gnu/kip.h
index 6428bb6..3339cc9 100644
--- a/libl4/l4/gnu/kip.h
+++ b/libl4/l4/gnu/kip.h
@@ -442,7 +442,7 @@ l4_memory_desc (l4_word_t num)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_memory_desc_virtual (l4_memory_desc_t *mem)
 {
diff --git a/libl4/l4/gnu/schedule.h b/libl4/l4/gnu/schedule.h
index 74016dd..45f43ae 100644
--- a/libl4/l4/gnu/schedule.h
+++ b/libl4/l4/gnu/schedule.h
@@ -112,7 +112,7 @@ l4_is_time_longer (l4_time_t l, l4_time_t r)
 }
 
 
-static inline l4_time_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_time_shorter (l4_time_t l, l4_time_t r)
 {
@@ -120,7 +120,7 @@ l4_is_time_shorter (l4_time_t l, l4_time_t r)
 }
 
 
-static inline l4_time_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_time_equal (l4_time_t l, l4_time_t r)
 {
@@ -128,7 +128,7 @@ l4_is_time_equal (l4_time_t l, l4_time_t r)
 }
 
 
-static inline l4_time_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_time_not_equal (l4_time_t l, l4_time_t r)
 {
@@ -208,7 +208,7 @@ l4_set_preemption_delay (l4_thread_id_t dest, l4_word_t sensitive_prio,
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_enable_preemption_fault_exception (void)
 {
@@ -216,7 +216,7 @@ l4_enable_preemption_fault_exception (void)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_disable_preemption_fault_exception (void)
 {
@@ -224,7 +224,7 @@ l4_disable_preemption_fault_exception (void)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_enable_preemption (void)
 {
@@ -232,7 +232,7 @@ l4_enable_preemption (void)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_disable_preemption (void)
 {
@@ -240,7 +240,7 @@ l4_disable_preemption (void)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_preemptionpending (void)
 {
diff --git a/libl4/l4/gnu/space.h b/libl4/l4/gnu/space.h
index a09b1ba..c943da2 100644
--- a/libl4/l4/gnu/space.h
+++ b/libl4/l4/gnu/space.h
@@ -36,7 +36,7 @@
 #define L4_COMPLETE_ADDRESS_SPACE	_L4_complete_address_space
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_nil_fpage (l4_fpage_t fpage)
 {
@@ -172,7 +172,7 @@ l4_get_status (l4_fpage_t fpage)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_was_referenced (l4_fpage_t fpage)
 {
@@ -180,7 +180,7 @@ l4_was_referenced (l4_fpage_t fpage)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_was_written (l4_fpage_t fpage)
 {
@@ -188,7 +188,7 @@ l4_was_written (l4_fpage_t fpage)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_was_executed (l4_fpage_t fpage)
 {
diff --git a/libl4/l4/gnu/thread.h b/libl4/l4/gnu/thread.h
index 4fc91d1..e0bf776 100644
--- a/libl4/l4/gnu/thread.h
+++ b/libl4/l4/gnu/thread.h
@@ -59,7 +59,7 @@ l4_thread_no (l4_thread_id_t thread)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_thread_equal (l4_thread_id_t thread1, l4_thread_id_t thread2)
 {
@@ -67,7 +67,7 @@ l4_is_thread_equal (l4_thread_id_t thread1, l4_thread_id_t thread2)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_thread_not_equal (l4_thread_id_t thread1, l4_thread_id_t thread2)
 {
@@ -75,7 +75,7 @@ l4_is_thread_not_equal (l4_thread_id_t thread1, l4_thread_id_t thread2)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_same_threads (l4_thread_id_t thread1, l4_thread_id_t thread2)
 {
@@ -83,7 +83,7 @@ l4_same_threads (l4_thread_id_t thread1, l4_thread_id_t thread2)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_nil_thread (l4_thread_id_t thread)
 {
@@ -91,7 +91,7 @@ l4_is_nil_thread (l4_thread_id_t thread)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_local_id (l4_thread_id_t thread)
 {
@@ -99,7 +99,7 @@ l4_is_local_id (l4_thread_id_t thread)
 }
 
 
-static inline l4_word_t
+static inline bool
 _L4_attribute_always_inline
 l4_is_global_id (l4_thread_id_t thread)
 {
diff --git a/libl4/l4/gnu/types.h b/libl4/l4/gnu/types.h
index 7a42916..bc14c9b 100644
--- a/libl4/l4/gnu/types.h
+++ b/libl4/l4/gnu/types.h
@@ -23,6 +23,8 @@
 # error "Never use <l4/gnu/types.h> directly; include <l4/types.h> instead."
 #endif
 
+#include <stdbool.h>
+
 
 #define L4_BYTE_ORDER		_L4_BYTE_ORDER
 #define L4_WORDSIZE		_L4_WORDSIZE