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

/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c255 dmac_get_fault_type(dma330_t dma330, int channel) function
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c255 dmac_get_fault_type(dma330_t dma330, int channel) function

Completed in 100 milliseconds