arch\x86\kernel\apic\bigsmp_32.c
static
void
bigsmp_send_IPI_allbutself(
int
vector)
{
default_send_IPI_mask_allbutself_phys(cpu_online_mask, vector);
}