Thread module

Mutex_Tracking

structSource

Fields

current_order: Mutex_Order
current_order_set_by: Source_Code_Location
current_name: := ""
current_mutex_id: *Per_OS_Critical_Section_Type

See also