sched.h File Reference

#include <pbl/kernel/types.h>
#include <pbl/kernel/compiler.h>

Functions
void	pbl_kernel_start (void)
	Start the scheduler.
bool	pbl_kernel_is_started (void)
	Check whether the scheduler has started.
bool	pbl_kernel_is_running (void)
	Check whether threads are being scheduled.
void	pbl_sched_lock (void)
	Disable preemption.
void	pbl_sched_unlock (void)
	Undo one pbl_sched_lock(), performing any deferred switch at the outermost one.
bool	pbl_sched_is_locked (void)
	Check whether preemption is disabled.
pbl_tick_t	pbl_uptime_ticks (void)
	Get the time since the scheduler started.