timers.h File Reference

Platform interface for ARMv7-A boards. More...

Functions
void	timers_init (int timeslice)
	initialize the timers
void	timer_reset (uint64_t ms)
	resets the timer to fire in $ms milliseconds More...

Detailed Description

Platform interface for ARMv7-A boards.

This file defines the hardware abstraction layer for ARM targets. Each board is expected to have an implementation that corresponds to this interface.

This interface is expected to change as new boards are added.

Function Documentation

void timer_reset

(

uint64_t

ms

)

resets the timer to fire in $ms milliseconds

Parameters

ms	millisecons
ms