diff options
Diffstat (limited to 'libl4/l4/gnu/kip.h')
-rw-r--r-- | libl4/l4/gnu/kip.h | 2 |
1 files changed, 1 insertions, 1 deletions
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) { |