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

package Cache_Utility is

   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);

end Cache_Utility;