Symbol: setup_bebox_ipi
sys/arch/bebox/bebox/pic_bebox.c
73
setup_bebox_ipi();
sys/arch/bebox/include/intr.h
44
void setup_bebox_ipi(void);