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