Symbol: lockmgr_sunlock_hard