Searched defs:timer_handler_fn (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/drivers/lpc_timer/
H A Dtimer.h20 typedef void (*timer_handler_fn)(void); typedef

Completed in 28 milliseconds