SLOCK_DEBUGGER    496 kern/kern_lock.c 	SLOCK_DEBUGGER();						\
SLOCK_DEBUGGER    719 kern/kern_lock.c 			SLOCK_DEBUGGER();
SLOCK_DEBUGGER    766 kern/kern_lock.c 		SLOCK_DEBUGGER();