Symbol: e500_splx
sys/arch/powerpc/booke/e500_intr.c
429
static void e500_splx(int);
sys/arch/powerpc/booke/e500_intr.c
449
.intrsw_splx = e500_splx,