Symbol: ka820_send_ipi
sys/arch/vax/vax/ka820.c
100
static void ka820_send_ipi(struct cpu_info *);
sys/arch/vax/vax/ka820.c
112
.cpu_send_ipi = ka820_send_ipi,