
  PROCEDURE [XREF] jmp$reset_dispatching_priority;
