* are idle-spinning, we must allow interrupts, otherwise no
* process will ever wake up.
*
* are idle-spinning, we must allow interrupts, otherwise no
* process will ever wake up.
*
* modify \p ProcReadyList. To ensure that compiler reload this
* variable every while cycle we call CPU_MEMORY_BARRIER.
* The memory barrier ensure that all variables used in this context
* modify \p ProcReadyList. To ensure that compiler reload this
* variable every while cycle we call CPU_MEMORY_BARRIER.
* The memory barrier ensure that all variables used in this context