WAKEUP_WAITER     297 kern/kern_lock.c 		WAKEUP_WAITER(lkp);
WAKEUP_WAITER     375 kern/kern_lock.c 		WAKEUP_WAITER(lkp);