#ifndef GNUMACH_LINUX_PMAP #define GNUMACH_LINUX_PMAP typedef void* pmap_t; #define PAGE_SHIFT 12 #define PAGE_SIZE 4096 #endif