kernel/fiasco/src/boot/boot_cpu.h

   1 #ifndef BOOT_CPU_H
   2 #define BOOT_CPU_H
   3
   4 #include "types.h"
   5
   6 void base_paging_init (void);
   7 void base_map_physical_memory_for_kernel ();
   8 void base_cpu_setup (void);
   9
  10 #endif