fn reschedule_if_spurious_wakeup()

in reverie-ptrace/src/timer.rs [329:337]


    fn reschedule_if_spurious_wakeup(&self, curr_clock: u64) -> Option<TimerEventRequest> {
        match self {
            ActiveEvent::Precise { clock_target } => (clock_target.saturating_sub(curr_clock)
                > MAX_SINGLE_STEP_COUNT)
                .then(|| TimerEventRequest::Precise(*clock_target - curr_clock)),
            ActiveEvent::Imprecise { clock_min } => (*clock_min > curr_clock)
                .then(|| TimerEventRequest::Imprecise(*clock_min - curr_clock)),
        }
    }