Searched refs:device_timer_init_rtc (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c168 device_timer_init_rtc(struct device_timer_state *s, dev_io_ops_t *io) function
298 device_timer_init_rtc(s, io);
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c168 device_timer_init_rtc(struct device_timer_state *s, dev_io_ops_t *io) function
298 device_timer_init_rtc(s, io);

Completed in 26 milliseconds