
  PROCEDURE [XREF] jmp$set_sched_thrashing_event;

