Searched refs:vbin (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | dma330.h | 102 * @param[inout] vbin The virtual address of a compiled copy program binary
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 | 102 * @param[inout] vbin The virtual address of a compiled copy program binary
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 | 443 program_dump(void *vbin) argument
445 uint8_t* bin = (uint8_t*)vbin;
633 dma330_copy_compile(int channel, void* vbin) argument
648 uint8_t* bin = (uint8_t*)vbin;
669 dma330_copy_configure(uintptr_t pdst, uintptr_t psrc, size_t len, void* vbin) argument
672 (uint32_t)vbin, (uint32_t)psrc, (uint32_t)pdst, len);
673 char* bin = (char*)vbin;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 443 program_dump(void *vbin) argument
445 uint8_t* bin = (uint8_t*)vbin;
633 dma330_copy_compile(int channel, void* vbin) argument
648 uint8_t* bin = (uint8_t*)vbin;
669 dma330_copy_configure(uintptr_t pdst, uintptr_t psrc, size_t len, void* vbin) argument
672 (uint32_t)vbin, (uint32_t)psrc, (uint32_t)pdst, len);
673 char* bin = (char*)vbin;
|
Completed in 31 milliseconds