package feasibility.ceiling_priority is 

procedure Compute_Ceiling_Of_Resources
     (My_Scheduler       : in out Fixed_Priority_Scheduler;
      Si                 : in out Scheduling_Information;
      Processor_Name     : in Unbounded_String;
      Address_space_Name : in Unbounded_String;
      My_Tasks           : in out Tasks_Set;
      My_Resources       : in out Resources_Set);

end feasibility.ceiling_priority;