Searched refs:old_pml45 (Results 1 – 1 of 1) sorted by relevance
324 pml5_entry_t old_pml45; in start_all_aps() local379 old_pml45 = kernel_pmap->pm_pmltop[0]; in start_all_aps()453 kernel_pmap->pm_pmltop[0] = old_pml45; in start_all_aps()