Symbol: pmap_update_pg
sys/arch/amd64/include/pmap.h
438
pmap_update_pg(vaddr_t va)
sys/arch/i386/include/pmap.h
369
#define pmap_update_pg(va) invlpg((u_int)(va))