lockmgr_sunlock_hard
return (lockmgr_sunlock_hard(lk, x, LK_RELEASE, NULL, file, line));
return (lockmgr_sunlock_hard(lk, x, flags, ilk, file, line));