MEM_LOC_PAGE_TABLE_1G
assert(gpa == 0x100000000 && pte_loc == MEM_LOC_PAGE_TABLE_1G);
uint64_t *pdep = vm_map_gpa(ctx, MEM_LOC_PAGE_TABLE_1G, PAGE_SIZE);
pdep[0] = MEM_LOC_PAGE_TABLE_1G | PT_VALID | PT_WRITABLE;