Searched defs:dmt_handle_irq (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c150 static void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) function
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dtimer.c134 void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) function

Completed in 80 milliseconds