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

/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h71 bool dmt_is_irq_pending(dmt_t *dmt);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h71 bool dmt_is_irq_pending(dmt_t *dmt);
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c82 bool dmt_is_irq_pending(dmt_t *dmt) function
189 if (dmt_is_irq_pending(dmt)) {
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c82 bool dmt_is_irq_pending(dmt_t *dmt) function
189 if (dmt_is_irq_pending(dmt)) {

Completed in 71 milliseconds