HAVEIT            345 kern/kern_lock.c 		HAVEIT(lkp);
HAVEIT            409 kern/kern_lock.c 		HAVEIT(lkp);