Searched refs:device_timer_init (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.h61 void device_timer_init(struct device_timer_state *s, dev_io_ops_t *io);
H A Dstate.c85 device_timer_init(&timeServ.devTimer, &timeServ.devIO);
H A Ddevice_timer.c197 device_timer_init(struct device_timer_state *s, dev_io_ops_t *io) function
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.h61 void device_timer_init(struct device_timer_state *s, dev_io_ops_t *io);
H A Dstate.c85 device_timer_init(&timeServ.devTimer, &timeServ.devIO);
H A Ddevice_timer.c197 device_timer_init(struct device_timer_state *s, dev_io_ops_t *io) function

Completed in 28 milliseconds