Symbol: openpic_establish_ipi
sys/arch/powerpc/pic/ipi_openpic.c
55
static void openpic_establish_ipi(int, int, void *);
sys/arch/powerpc/pic/ipi_openpic.c
63
ipiops.ppc_establish_ipi = openpic_establish_ipi;