Symbol: selected_apic_ipi
sys/platform/pc64/apic/lapic.h
87
void selected_apic_ipi(cpumask_t, int, int);
sys/platform/pc64/x86_64/mp_machdep.c
1109
selected_apic_ipi(mask, XINVLTLB_OFFSET, APIC_DELMODE_FIXED);
sys/platform/pc64/x86_64/mp_machdep.c
1370
selected_apic_ipi(map, XCPUSTOP_OFFSET, APIC_DELMODE_FIXED);
sys/platform/pc64/x86_64/mp_machdep.c
999
selected_apic_ipi(mask, XINVLTLB_OFFSET, APIC_DELMODE_FIXED);