Symbol: pmap_inval_intr
sys/platform/pc64/include/pmap_inval.h
61
int pmap_inval_intr(cpumask_t *cpumask, int toolong);
sys/platform/pc64/x86_64/mp_machdep.c
1293
if (pmap_inval_intr(&cpumask, toolong) == 0) {