with Tasks;          		use Tasks;
with Cache_Set;      		use Cache_Set;
with Caches;         		use Caches;
with Cache_Access_Profile_Set; 	use Cache_Access_Profile_Set;
with Scheduler;                 use Scheduler;

package Cache_Utility is

   type CRPD_Computation_Model is (
	C_Pre_UCB,
	C_Pre_ECB,
	C_UE,
	C_UE_lim);

   procedure swap_tasks_cache_location
     (a_task         : in Generic_Task_Ptr;
      b_task         : in Generic_Task_Ptr;
      CAPs           : in Cache_Access_Profiles_Set;
      cache_blocks   : in Cache_Blocks_Table;
      CS             : in Integer);

   procedure Fill_Tasks_UCBs_In_Cache
     (a_tcb : in out Tcb_Ptr);

   function Compute_CRPD
     (a_tcb : in TCb_Ptr) return Integer;

   function Get_Standard_Line return String;

end Cache_Utility;