sys/arch/amd64/amd64/efi_machdep.c

206

lcr3(sc->sc_pm->pm_pdirpa | (pmap_use_pcid ? PCID_EFI : 0));

sys/arch/amd64/amd64/efi_machdep.c

224

lcr3(sc->sc_cr3);

sys/arch/amd64/amd64/pmap.c

1511

lcr3(pcb->pcb_cr3);

sys/arch/amd64/amd64/pmap.c

444

lcr3(pmap->pm_pdirpa | cr3_pcid_temp);

sys/arch/amd64/amd64/pmap.c

457

lcr3(save_cr3);

sys/arch/amd64/amd64/pmap.c

968

lcr3(pml4pa);

sys/arch/i386/i386/pmap.c

1515

lcr3(pmap->pm_pdirpa);

sys/arch/i386/include/cpufunc.h

54

static __inline void lcr3(u_int);