
  PROCEDURE [XREF] jmp$set_scheduler_time_event;

