Searched defs:sel4utils_make_iommu_dma_alloc (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ | ||
H A D | iommu_dma.c | 196 int sel4utils_make_iommu_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man, unsigned int num_iospaces, function |
Completed in 31 milliseconds