
  PROCEDURE [XREF] jmp$set_scheduler_memory_event;

