update

[l4.git] / l4 / pkg / bootstrap / server / src / init_kip.h

diff --git a/l4/pkg/bootstrap/server/src/init_kip.h b/l4/pkg/bootstrap/server/src/init_kip.h
index cf3e1df416cae09fda2362f6b72fdda4278ea6a2..c3c938f4ece3ef6d7a1b30d7f0050a8febbee72d 100644 (file)
--- a/l4/pkg/bootstrap/server/src/init_kip.h
+++ b/l4/pkg/bootstrap/server/src/init_kip.h
@@ -18,10 +18,8 @@
 #ifdef __cplusplus
 class Region_list;
 
-void init_kip_v2(void *_l4i, boot_info_t *bi, l4util_mb_info_t *mbi,
-                 Region_list *ram, Region_list *regions);
-void init_kip_v4(void *_l4i, boot_info_t *bi, l4util_mb_info_t *mbi,
-                 Region_list *ram, Region_list *regions);
+void init_kip_f(void *_l4i, boot_info_t *bi, l4util_mb_info_t *mbi,
+                Region_list *ram, Region_list *regions);
 #endif
 
 #endif