123,124c123,130
< /// Breakpoints should happen before anything else, so we
< /// don't miss any action when debugging.
---
> /// If we enable tracing on a particular cycle, do that as the
> /// very first thing so we don't miss any of the events on
> /// that cycle (even if we enter the debugger).
> Trace_Enable_Pri = -101,
>
> /// Breakpoints should happen before anything else (except
> /// enabling trace output), so we don't miss any action when
> /// debugging.
126a133,138
> /// CPU switches schedule the new CPU's tick event for the
> /// same cycle (after unscheduling the old CPU's tick event).
> /// The switch needs to come before any tick events to make
> /// sure we don't tick both CPUs in the same cycle.
> CPU_Switch_Pri = -31,
>
135,140d146
< /// CPU switches schedule the new CPU's tick event for the
< /// same cycle (after unscheduling the old CPU's tick event).
< /// The switch needs to come before any tick events to make
< /// sure we don't tick both CPUs in the same cycle.
< CPU_Switch_Pri = -31,
<