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

/seL4-refos-master/libs/libsel4utils/src/
H A Dpage_dma.c34 } dma_alloc_t; typedef in typeref:struct:dma_alloc
39 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr);
58 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr);
71 dma_alloc_t *alloc = NULL;
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dpage_dma.c34 } dma_alloc_t; typedef in typeref:struct:dma_alloc
39 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr);
58 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr);
71 dma_alloc_t *alloc = NULL;

Completed in 24 milliseconds