Symbol: smp_invlpg
sys/platform/pc64/include/pmap_inval.h
69
void smp_invlpg(cpumask_t *cmdmask);
sys/platform/pc64/x86_64/mp_machdep.c
1045
smp_invlpg(&smp_active_mask);
sys/platform/pc64/x86_64/pmap_inval.c
418
smp_invlpg(&tmpmask);
sys/platform/pc64/x86_64/pmap_inval.c
552
smp_invlpg(&tmpmask);
sys/platform/pc64/x86_64/pmap_inval.c
792
smp_invlpg(&smp_active_mask);