-
We may call switch_to_bitmap() from the head stage when a co-kernel switches to a new thread context, in which case IRQs are hard disabled, although the root stage might be unstalled. Make sure the preemption debug code in refresh_tss_limit() is aware of this.
361b1bac