From f41d8afda05ce9d502338b32746cd88756f73495 Mon Sep 17 00:00:00 2001 From: marcus Date: Thu, 28 Oct 2004 19:20:04 +0000 Subject: 2004-10-28 Marcus Brinkmann * l4/gnu/types.h: Include . * 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. --- libl4/ChangeLog | 17 +++++++++++++++++ libl4/l4/gnu/ipc.h | 26 +++++++++++++------------- libl4/l4/gnu/kip.h | 2 +- libl4/l4/gnu/schedule.h | 16 ++++++++-------- libl4/l4/gnu/space.h | 8 ++++---- libl4/l4/gnu/thread.h | 12 ++++++------ libl4/l4/gnu/types.h | 2 ++ 7 files changed, 51 insertions(+), 32 deletions(-) (limited to 'libl4') 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 + * l4/gnu/types.h: Include . + * 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 directly; include instead." #endif +#include + #define L4_BYTE_ORDER _L4_BYTE_ORDER #define L4_WORDSIZE _L4_WORDSIZE -- cgit v1.2.3