time.h File Reference

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

Functions
uint64_t	pbl_uptime_ticks (void)
	Get the time since the scheduler started, in ticks.
uint64_t	pbl_uptime_ms (void)
	Get the time since the scheduler started, in milliseconds.
static uint32_t	pbl_cycle_get_32 (void)
	Read the CPU cycle counter.
uint32_t	pbl_cycles_per_sec (void)
	Get the rate of the CPU cycle counter.