On Mon, 22 Feb 2021, Ryo Shimizu wrote:
I think this condition is not necessary since cpu_idle() is just called from idle_loop(), and ci_intr_depth is always zero at this time.
Ah yes, my mistake! Please feel free to revert this commit as part of your proposed change.