* the GNU General Public License.
*
* Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
* the GNU General Public License.
*
* Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
* 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