load_cr3
load_cr3(rcr3());
void load_cr3(u_int cr3);
load_cr3(KPML4phys);
load_cr3(td->td_pcb->pcb_cr3);