Symbol: invlpg
sys/arch/x86/include/cpufunc.h
64
void invlpg(vaddr_t);
sys/arch/x86/include/pmap_private.h
303
invlpg(va);
sys/arch/x86/x86/lapic.c
401
invlpg(va);
sys/arch/x86/x86/pmap.c
1092
invlpg(va);