Symbol: cpu_handle_ipi
sys/arch/vax/include/cpu.h
241
void cpu_handle_ipi(void);
sys/arch/vax/include/lock.h
103
cpu_handle_ipi();
sys/arch/vax/include/lock.h
148
cpu_handle_ipi(); \
sys/arch/vax/vax/ka820.c
660
cpu_handle_ipi();