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

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c140 device_timer_handle_irq(void *cookie, uint32_t irq) function
275 int error = dev_handle_irq(&timeServ.irqState, irq, device_timer_handle_irq, (void*) s);
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c140 device_timer_handle_irq(void *cookie, uint32_t irq) function
275 int error = dev_handle_irq(&timeServ.irqState, irq, device_timer_handle_irq, (void*) s);

Completed in 27 milliseconds