
PROCEDURE [XREF] jmp$reset_time_to_wake_sched;

