Symbol: ppc_dflt_splx
sys/arch/powerpc/powerpc/intr.c
136
ppc_dflt_splx
sys/arch/powerpc/powerpc/intr.c
41
void ppc_dflt_splx(int);