As per fixme in rust_sched_loop.h
As per fixme in rust_sched_loop.h