Lines Matching refs:Timer_Server_ID
63 Timer_Server_ID : ST.Task_Id; variable
115 STPO.Write_Lock (Timer_Server_ID);
122 STPO.Unlock (Timer_Server_ID);
217 STPO.Write_Lock (Timer_Server_ID);
249 STPO.Wakeup (Timer_Server_ID, ST.Timer_Server_Sleep);
252 STPO.Unlock (Timer_Server_ID);
299 Timer_Server_ID := STPO.Self;
311 STI.Defer_Abort (Timer_Server_ID);
317 STPO.Write_Lock (Timer_Server_ID);
324 Timer_Server_ID.Common.State := ST.Timer_Server_Sleep;
327 Timer_Server_ID.User_State := 1;
332 Timer_Server_ID.User_State := 2;
336 (Timer_Server_ID, Next_Wakeup_Time,
339 Timer_Server_ID.Common.State := ST.Runnable;
347 Timer_Server_ID.User_State := 3;
356 (Timer_Server_ID, "Timer service: waking up waiting task", 'E'));
376 STPO.Unlock (Timer_Server_ID);
381 (Timer_Server_ID, Dequeued_Task, Dequeued.Level - 1);
383 STPO.Write_Lock (Timer_Server_ID);
393 STPO.Unlock (Timer_Server_ID);
399 STI.Undefer_Abort (Timer_Server_ID);
411 Timer_Server_ID := To_System (Timer_Server'Identity);