summaryrefslogtreecommitdiff
path: root/libl4/l4
diff options
context:
space:
mode:
authorneal <neal>2007-12-23 14:08:44 +0000
committerneal <neal>2007-12-23 14:08:44 +0000
commit4a9192379d6acaf06d2c435bc7c79b132c1bfdfc (patch)
tree82ce0939b870b3021c9d129c34776cbe76a70d11 /libl4/l4
parent130ffe56c693fd20c162135ae4fe9dc6421207ad (diff)
2007-12-23 Neal H. Walfield <neal@gnu.org>
* l4/compat/kip.h (L4_ApiVersion): Cast result of _L4_kernel_interface to elide gcc warning. (L4_ApiFlags): Likewise. (L4_KernelId): Likewise.
Diffstat (limited to 'libl4/l4')
-rw-r--r--libl4/l4/compat/kip.h6
1 files changed, 3 insertions, 3 deletions
diff --git a/libl4/l4/compat/kip.h b/libl4/l4/compat/kip.h
index 4989411..380969c 100644
--- a/libl4/l4/compat/kip.h
+++ b/libl4/l4/compat/kip.h
@@ -95,7 +95,7 @@ L4_ApiVersion (void)
L4_Word_t api_flags;
L4_Word_t kernel_id;
- _L4_kernel_interface (&api_version, &api_flags, &kernel_id);
+ (void) _L4_kernel_interface (&api_version, &api_flags, &kernel_id);
return api_version;
}
@@ -117,7 +117,7 @@ L4_ApiFlags (void)
L4_Word_t api_flags;
L4_Word_t kernel_id;
- _L4_kernel_interface (&api_version, &api_flags, &kernel_id);
+ (void) _L4_kernel_interface (&api_version, &api_flags, &kernel_id);
return api_flags;
}
@@ -160,7 +160,7 @@ L4_KernelId (void)
L4_Word_t api_flags;
L4_Word_t kernel_id;
- _L4_kernel_interface (&api_version, &api_flags, &kernel_id);
+ (void) _L4_kernel_interface (&api_version, &api_flags, &kernel_id);
return kernel_id;
}