extern unsigned long init_memory_mapping(unsigned long start,
unsigned long end);
-void init_memory_mapping_high(void);
-
-extern void initmem_init(int acpi, int k8);
-extern void free_initmem(void);
+extern void initmem_init(void);
#endif /* !__ASSEMBLY__ */