Symbol: addr_PML4map
sys/platform/pc64/include/pmap.h
178
#define addr_PML4pml4e (addr_PML4map + (PML4PML4I * sizeof(pml4_entry_t)))
sys/platform/pc64/include/pmap.h
182
#define PML4map ((pd_entry_t *)(addr_PML4map))