boot/x86/stage3/paging.h

   1 #ifndef BOOT_X86_PAGING_H
   2 #define BOOT_X86_PAGING_H
   3
   4 #define ADDRESS_NOT_ALIGNED 1
   5 #define INVL_ADDRESS 2
   6 #define ADDRESS_ALREADY_MAPPED 3
   7 #define ADDRESS_RANGE_MISMATCHED 4
   8
   9 extern int map_range(void *phys_start, void *phys_end, void *virt_start, void *virt_end, int flags);
  10 extern void set_up_page_directory();
  11 extern void enable_paging();
  12
  13 #endif