Symbol: do_handle_IPI
arch/arm/kernel/smp.c
634
static void do_handle_IPI(int ipinr)
arch/arm64/kernel/smp.c
958
static void do_handle_IPI(int ipinr)