idle.h File Reference

#include <pbl/kernel/types.h>

Functions
void	pbl_soc_idle (pbl_tick_t max_ticks)
	Idle the CPU.
bool	pbl_soc_tick_enable (void)
	Set up the tick interrupt.
bool	pbl_idle_confirm (void)
	Confirm that the CPU may still go to sleep.
void	pbl_idle_slept (pbl_tick_t elapsed)
	Account for a sleep during which no tick interrupt ran.
void	pbl_kernel_tick_isr (void)
	Tick interrupt body, for SoCs that own the SysTick handler.