Searched refs:device_timer_purge_client (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.h83 void device_timer_purge_client(struct device_timer_state *client);
H A Ddevice_timer.c403 device_timer_purge_client(struct device_timer_state *client) function
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.h83 void device_timer_purge_client(struct device_timer_state *client);
H A Ddevice_timer.c403 device_timer_purge_client(struct device_timer_state *client) function

Completed in 29 milliseconds