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

/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c387 dmac_print_fault(dma330_t dma330, int channel) function
567 dmac_print_fault(dma330, ch);
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c387 dmac_print_fault(dma330_t dma330, int channel) function
567 dmac_print_fault(dma330, ch);

Completed in 82 milliseconds