
  PROCEDURE [XREF] jmp$set_idle_system_event;
