Lines Matching refs:Timer_Server_ID

66    Timer_Server_ID : constant ST.Task_Id := To_System (Timer_Server'Identity);  constant
126       STPO.Write_Lock (Timer_Server_ID);
133       STPO.Unlock (Timer_Server_ID);
225       STPO.Write_Lock (Timer_Server_ID);
257          STPO.Wakeup (Timer_Server_ID, ST.Timer_Server_Sleep);
260       STPO.Unlock (Timer_Server_ID);
295       pragma Assert (Timer_Server_ID = STPO.Self);
307          STI.Defer_Abort (Timer_Server_ID);
313          STPO.Write_Lock (Timer_Server_ID);
320             Timer_Server_ID.Common.State := ST.Timer_Server_Sleep;
323                Timer_Server_ID.User_State := 1;
328                Timer_Server_ID.User_State := 2;
332               (Timer_Server_ID, Next_Wakeup_Time,
335             Timer_Server_ID.Common.State := ST.Runnable;
343          Timer_Server_ID.User_State := 3;
352               (Timer_Server_ID, "Timer service: waking up waiting task", 'E'));
368             STPO.Unlock (Timer_Server_ID);
373               (Timer_Server_ID, Dequeued_Task, Dequeued.Level - 1);
375             STPO.Write_Lock (Timer_Server_ID);
385          STPO.Unlock (Timer_Server_ID);
391          STI.Undefer_Abort (Timer_Server_ID);