+ procedure Print_Current_Task;
+ -- Write information about current task, in hexadecimal, as one line, to
+ -- the standard error file.
+
+ procedure Print_Task_Info (T : Task_Id);
+ -- Similar to Print_Current_Task, for a given task
+
+ procedure Set_User_State (Value : Long_Integer);
+ -- Set user state value in the current task. This state will be displayed
+ -- when calling List_Tasks or Print_Current_Task. It is useful for setting
+ -- task specific state.
+
+ function Get_User_State return Long_Integer;
+ -- Return the user state for the current task
+
+ -------------------------
+ -- General GDB support --
+ -------------------------
+
+ Known_Tasks : array (0 .. 999) of Task_Id := (others => null);
+ -- Global array of tasks read by gdb, and updated by Create_Task and
+ -- Finalize_TCB
+
+ Debug_Event_Activating : constant := 1;
+ Debug_Event_Run : constant := 2;
+ Debug_Event_Suspended : constant := 3;
+ Debug_Event_Preempted : constant := 4;
+ Debug_Event_Terminated : constant := 5;
+ Debug_Event_Abort_Terminated : constant := 6;
+ Debug_Event_Exception_Terminated : constant := 7;
+ Debug_Event_Rendezvous_Exception : constant := 8;
+ Debug_Event_Handled : constant := 9;
+ Debug_Event_Dependents_Exception : constant := 10;
+ Debug_Event_Handled_Others : constant := 11;
+
+ subtype Event_Kind_Type is Positive range 1 .. 11;
+ -- Event kinds currently defined for debugging, used globally
+ -- below and on a per taak basis.
+
+ procedure Signal_Debug_Event
+ (Event_Kind : Event_Kind_Type;
+ Task_Value : Task_Id);
+
+ ----------------------------------
+ -- VxWorks specific GDB support --
+ ----------------------------------
+
+ -- Although the following routines are implemented in a target independent
+ -- manner, only VxWorks currently uses them.