
  PROCEDURE [XREF] jmp$select_scheduler_short_wait;

