Object Cross Reference

Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ

Register_Driver.Send.Register_Addr    (Parameter)
  Declared as: Device_Command_Distribution_Types.Register_Device_Addr
    Spec   [register_driver.ads, 71] Register_Driver.Send

Register_Driver.Send.Register_Contents    (Parameter)
  Declared as: Device_Command_Distribution_Types.Register_Data
    Spec   [register_driver.ads, 73] Register_Driver.Send

Resource_Manager.Deallocate.R    (Parameter)
  Declared as: in Resource
    Spec   [resource_manager.ads, 105] Resource_Manager.Deallocate

Resource_Manager.Is_Allocated.R    (Parameter)
  Declared as: Resource
    Spec   [resource_manager.ads, 85] Resource_Manager.Is_Allocated

Resource_Manager.Resource_Manager_Priority    (Parameter)
  Declared as: in Task_Priority_Control.Passive_Task_Priority
    Formal   [resource_manager.ads, 55] Resource_Manager

Resource_Manager.Share.R    (Parameter)
  Declared as: in Resource
    Spec   [resource_manager.ads, 114] Resource_Manager.Share
Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ