src/include/cpu/x86/pae.h

#ifndef CPU_X86_PAE_H
#define CPU_X86_PAE_H

#define MAPPING_ERROR ((void *)0xffffffffUL)
void *map_2M_page(unsigned long page);

#endif /* CPU_X86_PAE_H  */