Symbol: arm_dflt_splx
sys/arch/arm64/arm64/intr.c
681
arm_dflt_splx(int newcpl)
sys/arch/armv7/armv7/intr.c
657
arm_dflt_splx(int newcpl)