spl               155 bsp/hal/x86/arch/trap.c 	int spl;
spl               158 bsp/hal/x86/arch/trap.c 	spl = splhigh();
spl               159 bsp/hal/x86/arch/trap.c 	splx(spl);
spl               176 bsp/hal/x86/arch/trap.c 	printf(" >> interrupt is %s\n", (spl == 0) ? "enabled" : "disabled");