CLOCK_LEVEL
splx(ipltospl(CLOCK_LEVEL));
splx(ipltospl(CLOCK_LEVEL));
splx(MIN(s, ipltospl(CLOCK_LEVEL)));
printf("#define\tCLOCK_LEVEL 0x%x\n", CLOCK_LEVEL);
splx(ipltospl(CLOCK_LEVEL));
if (ct->t_pil == CLOCK_LEVEL)
if (curthread->t_pil == CLOCK_LEVEL)