130       Self_ID : constant Task_Id := Self;  constant
132       if Self_ID /= null
133         and then Self_ID.Deferral_Level = 0
134         and then Self_ID.Pending_ATC_Level < Self_ID.ATC_Nesting_Level
146    procedure Defer_Abort (Self_ID : Task_Id) is
152       pragma Assert (Self_ID.Deferral_Level = 0);
180       Self_ID.Deferral_Level := Self_ID.Deferral_Level + 1;
187    procedure Defer_Abort_Nestable (Self_ID : Task_Id) is
201       Self_ID.Deferral_Level := Self_ID.Deferral_Level + 1;
209       Self_ID : Task_Id;  variable
215       Self_ID := STPO.Self;
216       Self_ID.Deferral_Level := Self_ID.Deferral_Level + 1;
234    procedure Do_Pending_Action (Self_ID : Task_Id) is
237       pragma Assert (Self_ID = Self and then Self_ID.Deferral_Level = 0);
245          Self_ID.Deferral_Level := Self_ID.Deferral_Level + 1;
251          Write_Lock (Self_ID);
252          Self_ID.Pending_Action := False;
253          Unlock (Self_ID);
261          Self_ID.Deferral_Level := Self_ID.Deferral_Level - 1;
263          if not Self_ID.Pending_Action then
264             if Self_ID.Pending_ATC_Level < Self_ID.ATC_Nesting_Level then
265                if not Self_ID.Aborting then
266                   Self_ID.Aborting := True;
268                     (Debug.Trace (Self_ID, "raise Abort_Signal", 'B'));
271                   pragma Assert (not Self_ID.ATC_Hack);
273                elsif Self_ID.ATC_Hack then
282                   Self_ID.ATC_Hack := False;
286                      (Self_ID, "raise Abort_Signal (ATC hack)", 'B'));
309    procedure Final_Task_Unlock (Self_ID : Task_Id) is
311       pragma Assert (Self_ID.Common.Global_Task_Lock_Nesting = 1);
427      (Self_ID : Task_Id;
432       if not T.Aborting and then T /= Self_ID then
505          elsif T /= Self_ID and then
555    procedure Task_Lock (Self_ID : Task_Id) is
557       Self_ID.Common.Global_Task_Lock_Nesting :=
558         Self_ID.Common.Global_Task_Lock_Nesting + 1;
560       if Self_ID.Common.Global_Task_Lock_Nesting = 1 then
561          Defer_Abort_Nestable (Self_ID);
585    procedure Task_Unlock (Self_ID : Task_Id) is
587       pragma Assert (Self_ID.Common.Global_Task_Lock_Nesting > 0);
588       Self_ID.Common.Global_Task_Lock_Nesting :=
589         Self_ID.Common.Global_Task_Lock_Nesting - 1;
591       if Self_ID.Common.Global_Task_Lock_Nesting = 0 then
593          Undefer_Abort_Nestable (Self_ID);
615    procedure Undefer_Abort (Self_ID : Task_Id) is
621       pragma Assert (Self_ID.Deferral_Level = 1);
623       Self_ID.Deferral_Level := Self_ID.Deferral_Level - 1;
625       if Self_ID.Deferral_Level = 0 then
626          pragma Assert (Check_No_Locks (Self_ID));
628          if Self_ID.Pending_Action then
629             Do_Pending_Action (Self_ID);
651    procedure Undefer_Abort_Nestable (Self_ID : Task_Id) is
657       pragma Assert (Self_ID.Deferral_Level > 0);
659       Self_ID.Deferral_Level := Self_ID.Deferral_Level - 1;
661       if Self_ID.Deferral_Level = 0 then
663          pragma Assert (Check_No_Locks (Self_ID));
665          if Self_ID.Pending_Action then
666             Do_Pending_Action (Self_ID);
676       Self_ID : Task_Id;  variable
682       Self_ID := STPO.Self;
684       if Self_ID.Deferral_Level = 0 then
698       pragma Assert (Self_ID.Deferral_Level > 0);
699       Self_ID.Deferral_Level := Self_ID.Deferral_Level - 1;
701       if Self_ID.Deferral_Level = 0 then
702          pragma Assert (Check_No_Locks (Self_ID));
704          if Self_ID.Pending_Action then
705             Do_Pending_Action (Self_ID);
736      (Self_ID    : Task_Id;
744         (Self_ID, "Wakeup_Entry_Caller", 'E', Caller));
757             Locked_Abort_To_Level (Self_ID, Caller, Entry_Call.Level - 1);