Lines Matching refs:Timer_Server_ID
91 Timer_Server_ID : ST.Task_ID; variable
143 STPO.Write_Lock (Timer_Server_ID);
150 STPO.Unlock (Timer_Server_ID);
247 STPO.Write_Lock (Timer_Server_ID);
279 STPO.Wakeup (Timer_Server_ID, ST.Timer_Server_Sleep);
282 STPO.Unlock (Timer_Server_ID);
325 Timer_Server_ID := STPO.Self;
331 STI.Defer_Abort (Timer_Server_ID);
337 STPO.Write_Lock (Timer_Server_ID);
344 Timer_Server_ID.Common.State := ST.Timer_Server_Sleep;
347 Timer_Server_ID.User_State := 1;
352 Timer_Server_ID.User_State := 2;
356 (Timer_Server_ID, Next_Wakeup_Time,
359 Timer_Server_ID.Common.State := ST.Runnable;
367 Timer_Server_ID.User_State := 3;
377 (Timer_Server_ID, "Timer service: waking up waiting task", 'E'));
397 STPO.Unlock (Timer_Server_ID);
402 (Timer_Server_ID, Dequeued_Task, Dequeued.Level - 1);
404 STPO.Write_Lock (Timer_Server_ID);
414 STPO.Unlock (Timer_Server_ID);
420 STI.Undefer_Abort (Timer_Server_ID);
432 Timer_Server_ID := To_System (Timer_Server'Identity);