_kernel_unlock
_kernel_unlock(nlocks, countp);
void _kernel_unlock(int, int *);
#define KERNEL_UNLOCK(all, lwp, p) _kernel_unlock((all), (p))