safepri            84 kern/kern_synch.c int safepri;
safepri           112 kern/kern_synch.c 		splx(safepri);