+ function Task_Stop (tid : t_id) return int;
+ pragma Inline (Task_Stop);
+ -- If we are in the kernel space, continue the task whose t_id is
+ -- given in parameter if it has been stopped previously to be examined
+ -- by the debugger (e.g. by taskStop). It typically maps to taskResume
+ -- on VxWorks 5 and to taskCont on VxWorks 6.
+
+ function Task_Cont (tid : t_id) return int;
+ pragma Inline (Task_Cont);
+ -- If we are in the kernel space, lock interrupts. It typically maps to
+ -- intLock.
+
+ function Int_Lock return int;
+ pragma Inline (Int_Lock);
+ -- If we are in the kernel space, lock interrupts. It typically maps to
+ -- intLock.
+
+ function Int_Unlock return int;
+ pragma Inline (Int_Unlock);
+ -- If we are in the kernel space, unlock interrupts. It typically maps to
+ -- intUnlock.
+