Symbol: lockmgr_slock_hard