/* Normally called from arch_cpu_idle(): the idle loop will call this function to set the CPU to "sleep". Others may also call this function with care. The CPU will be set to sleep until some interrupt awakes it. Interrupts should be enabled before calling.  */
void posix_halt_cpu(void)
/* Normally called from arch_cpu_idle(): the idle loop will call this function to set the CPU to "sleep". Others may also call this function with care. The CPU will be set to sleep until some interrupt awakes it. Interrupts should be enabled before calling.  */
void posix_halt_cpu(void)
{
	nce_halt_cpu(nce_st);
	posix_irq_handler();
}