Generic timer library. More...

struct timer *	timer_new (void)
	Create new timer. More...

void	timer_start (struct timer *timer)
	Start timer. More...

void	timer_stop (struct timer *timer)
	Stop timer. More...

uint64_t	timer_remaining (struct timer *timer)
	Return remaining time of timer. More...

void	timer_destroy (struct timer *timer)
	Destroy a timer. More...

errval_t	timer_init (void)
	Initialize timer subsystem.

bool	timer_is_running (struct timer *timer)
	Returns true iff the given timer is active / enqueued.

Detailed Description

Generic timer library.

Function Documentation

void timer_destroy ( struct timer * timer )

Destroy a timer.

Stops and removes timer from system.

Parameters

timer Pointer to timer to destroy.

struct timer* timer_new ( void )

Create new timer.

TimerAPI Timer API

(...)

uint64_t timer_remaining ( struct timer * timer )

Return remaining time of timer.

Parameters

timer Pointer to running timer.

void timer_start ( struct timer * timer )

Start timer.

This sets off a timer. It will start running for the duration set through timer_set_duration().

Parameters

timer Pointer to timer to start.

void timer_stop ( struct timer * timer )

Stop timer.

This stops a running timer.

Parameters

timer Pointer to timer to stop.