Searched refs:new_physmap_base (Results 1 – 1 of 1) sorted by relevance
290 physmap_init(uint8_t phys_random_L3, uint64_t *new_physmap_base, uint64_t *new_physmap_max) in physmap_init() argument372 *new_physmap_base = KVADDR(kernPhysPML4Index, phys_random_L3, 0, 0); in physmap_init()377 *new_physmap_max = *new_physmap_base + physAddr; in physmap_init()379 DBG("Physical address map base: 0x%qx\n", *new_physmap_base); in physmap_init()391 uint64_t new_physmap_base, new_physmap_max; in Idle_PTs_init() local423 physmap_init(rand64 & 0xFF, &new_physmap_base, &new_physmap_max); in Idle_PTs_init()437 physmap_base = new_physmap_base; in Idle_PTs_init()