Symbol: cpu_invlpg
sys/cpu/x86_64/include/cpufunc.h
424
cpu_invlpg(void *addr)
sys/platform/vkernel64/platform/pmap_inval.c
254
cpu_invlpg(void *addr)