diff x86_64/elilo_kernel.h @ 13:212d1e8ff02b

add test source
author taiki
date Thu, 25 Jul 2013 02:43:29 -0400
parents 1b2326947b0d
children e4603f44e348
line wrap: on
line diff
--- a/x86_64/elilo_kernel.h	Tue Jun 11 03:04:39 2013 -0400
+++ b/x86_64/elilo_kernel.h	Thu Jul 25 02:43:29 2013 -0400
@@ -2,6 +2,7 @@
 #define ELILO_KERNEL
 
 extern EFI_STATUS start_elilo_kernel();
+extern VOID init_pgtable_register();
 
 
 #endif /* ELILO_KERNEL */