Symbol: cpu_handle_ipi
sys/arch/vax/vax/multicpu.c
153
cpu_handle_ipi(void)
sys/rump/include/machine/cpu.h
72
static __inline void cpu_handle_ipi(void) {}