update

[l4.git] / l4 / pkg / libsigma0 / lib / src / kip.c

diff --git a/l4/pkg/libsigma0/lib/src/kip.c b/l4/pkg/libsigma0/lib/src/kip.c
index e0ef7575e0b68eebe7a140183d97247a41938b06..27bd755a5ed08a429f4502014d5713d2a85eed47 100644 (file)
--- a/l4/pkg/libsigma0/lib/src/kip.c
+++ b/l4/pkg/libsigma0/lib/src/kip.c
@@ -4,7 +4,7 @@
  *
  * \date       02/2006
  * \author     Adam Lackorzynski <adam@os.inf.tu-dresden.de>
- *             Frank Mehnert <fm3@os.inf.tu-dresden.de> */
+ *             Frank Mehnert <fm3@os.inf.tu-dresden.de> */
 
 /*
  * (c) 2006-2009 Author(s)
@@ -20,7 +20,7 @@
 /*
  * \return kip address, 0 on error
  */
-l4_kernel_info_t *
+L4_CV l4_kernel_info_t *
 l4sigma0_map_kip(l4_cap_idx_t pager, void *adr, unsigned log2_size)
 {
   l4_msgtag_t tag = l4_msgtag(L4_PROTO_SIGMA0, 1, 0, 0);