Barrelfish
Functions
timers.c File Reference

Timer support for ARMv8. 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...
 
systime_t systime_now (void)
 

Detailed Description

Timer support for ARMv8.

Function Documentation

systime_t systime_now ( void  )

Get the current system time from a hardware clock

void timer_reset ( uint64_t  ms)

resets the timer to fire in $ms milliseconds

Parameters
ms