Searched refs:new_physmap_base (Results 1 – 1 of 1) sorted by relevance
291 physmap_init(uint8_t phys_random_L3, uint64_t *new_physmap_base, uint64_t *new_physmap_max) in physmap_init() argument373 *new_physmap_base = KVADDR(kernPhysPML4Index, phys_random_L3, 0, 0); in physmap_init()378 *new_physmap_max = *new_physmap_base + physAddr; in physmap_init()380 DBG("Physical address map base: 0x%qx\n", *new_physmap_base); in physmap_init()392 uint64_t new_physmap_base, new_physmap_max; in Idle_PTs_init() local424 physmap_init(rand64 & 0xFF, &new_physmap_base, &new_physmap_max); in Idle_PTs_init()438 physmap_base = new_physmap_base; in Idle_PTs_init()