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

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c36 timeserv_get_irq_handler_endpoint(void *cookie, int irq) function
72 .getIRQHandlerEndpoint = timeserv_get_irq_handler_endpoint,
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c36 timeserv_get_irq_handler_endpoint(void *cookie, int irq) function
72 .getIRQHandlerEndpoint = timeserv_get_irq_handler_endpoint,

Completed in 79 milliseconds