Searched refs:dma330_copy_configure (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | dma330.h | 104 int dma330_copy_configure(uintptr_t psrc, uintptr_t pdst, size_t len, void* vbin);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | dma330.h | 104 int dma330_copy_configure(uintptr_t psrc, uintptr_t pdst, size_t len, void* vbin);
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 669 dma330_copy_configure(uintptr_t pdst, uintptr_t psrc, size_t len, void* vbin) function
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 669 dma330_copy_configure(uintptr_t pdst, uintptr_t psrc, size_t len, void* vbin) function
|
Completed in 40 milliseconds