load_cr3
load_cr3(cr3);
load_cr3(cr3);
load_cr3(smp_tlb_pmap->pm_cr3 |
load_cr3(pmap->pm_cr3 | pcidp->pm_pcid);
load_cr3(pmap->pm_cr3 | pcidp->pm_pcid | cached);
load_cr3(pmap->pm_cr3);
load_cr3(la57 ? KPML5phys : KPML4phys);
load_cr3(kcr3);
load_cr3(rcr3());
load_cr3(rcr3()); /* invalidate TLB */
load_cr3(cr3);
load_cr3(rcr3());