Searched refs:phys_random_L3 (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() argument320 pdpte_count = (unsigned) (((highest_physaddr + PDPTMASK) >> PDPTSHIFT) + phys_random_L3); in physmap_init()355 L3_start_index = phys_random_L3; in physmap_init()373 *new_physmap_base = KVADDR(kernPhysPML4Index, phys_random_L3, 0, 0); in physmap_init()