src/include/cpu/x86/pae.h

   1 #ifndef CPU_X86_PAE_H
   2 #define CPU_X86_PAE_H
   3
   4 #define MAPPING_ERROR ((void *)0xffffffffUL)
   5 void *map_2M_page(unsigned long page);
   6
   7 #endif /* CPU_X86_PAE_H  */