Symbol: default_send_IPI_single_phys
arch/x86/kernel/apic/apic_flat_64.c
49
.send_IPI = default_send_IPI_single_phys,
arch/x86/kernel/apic/local.h
65
void default_send_IPI_single_phys(int cpu, int vector);