Symbol: cpu_update_nmi_cr3
sys/arch/i386/i386/cpu.c
129
void cpu_update_nmi_cr3(vaddr_t);
sys/arch/i386/i386/pmapae.c
783
cpu_update_nmi_cr3(kpm->pm_pdirpa);
sys/arch/i386/include/cpu.h
367
extern void cpu_update_nmi_cr3(vaddr_t);