mutex_lock_kernel
(void) mutex_lock_kernel(&stall_mutex, NULL, NULL);
error = mutex_lock_kernel(mp, tsp, msp);
return (mutex_lock_kernel(mp, tsp, NULL));