Symbol: bebox_establish_ipi
sys/arch/bebox/bebox/ipi_bebox.c
43
static void bebox_establish_ipi(int, int, void *);
sys/arch/bebox/bebox/ipi_bebox.c
50
ipiops.ppc_establish_ipi = bebox_establish_ipi;