Searched refs:new_physmap_base (Results 1 – 1 of 1) sorted by relevance
289 physmap_init(uint8_t phys_random_L3, uint64_t *new_physmap_base, uint64_t *new_physmap_max) in physmap_init() argument371 *new_physmap_base = KVADDR(kernPhysPML4Index, phys_random_L3, 0, 0); in physmap_init()376 *new_physmap_max = *new_physmap_base + physAddr; in physmap_init()378 DBG("Physical address map base: 0x%qx\n", *new_physmap_base); in physmap_init()390 uint64_t new_physmap_base, new_physmap_max; in Idle_PTs_init() local422 physmap_init(rand64 & 0xFF, &new_physmap_base, &new_physmap_max); in Idle_PTs_init()436 physmap_base = new_physmap_base; in Idle_PTs_init()