Lines Matching refs:_Requires_lock_held_

60   _Inout_ _Requires_lock_held_(*_Curr_) _Releases_lock_(*_Curr_)
401 _Requires_lock_held_(_Global_critical_region_)
410 _Requires_lock_held_(_Global_critical_region_)
415   _Inout_ _Requires_lock_held_(*_Curr_) _Releases_lock_(*_Curr_)
418 _Requires_lock_held_(_Global_critical_region_)
432 _Requires_lock_held_(_Global_critical_region_)
445 _Requires_lock_held_(_Global_critical_region_)
458 _Requires_lock_held_(_Global_critical_region_)
740   _Inout_ _Requires_lock_held_(*_Curr_) PERESOURCE Resource);
1045 _Requires_lock_held_(_Global_critical_region_)
1050   _Inout_ _Requires_lock_held_(*_Curr_) _Releases_lock_(*_Curr_)
1054 _Requires_lock_held_(_Global_critical_region_)
1055 _Requires_lock_held_(*Resource)
1302   _Inout_ _Requires_lock_held_(*_Curr_) _Releases_lock_(*_Curr_)