_kernel_unlock    317 sys/systm.h    void	_kernel_unlock(void);
_kernel_unlock    323 sys/systm.h    #define	KERNEL_UNLOCK()			_kernel_unlock()