
  PROCEDURE [XREF] jmp$set_sched_service_calc_time;

