extern void __init bootmem_init(void);
  
  void fixup_init(void);