libsel4utils/src/iommu_dma.c

34 static void unmap_range(dma_man_t *dma, uintptr_t addr, size_t size)
36     uintptr_t start = ROUND_DOWN(addr, PAGE_SIZE_4K);
37     uintptr_t end = addr + size;
38     for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) {
40             uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr);
44                 seL4_CPtr page = vspace_get_cap(dma->iospaces + i, (void *)addr);
47                 vspace_unmap_pages(dma->iospaces + i, (void *)addr, 1, seL4_PageBits, NULL);
66     for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) {
68         seL4_CPtr page = vspace_get_cap(&dma->vspace, (void *)addr);
74             unmap_range(dma, start, addr + 1);
79             unmap_range(dma, start, addr + 1);
87             uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr);
97                     unmap_range(dma, start, addr + 1);
105                     unmap_range(dma, start, addr + 1);
109                 reservation_t res = vspace_reserve_range_at(dma->iospaces + i, (void *)addr, PAGE_SIZE_4K, seL4_AllRights, 1);
114                     unmap_range(dma, start, addr + 1);
123                     unmap_range(dma, start, addr + 1);
127                 error = vspace_map_pages_at_vaddr(dma->iospaces + i, &copy_path.capPtr, (uintptr_t *)&cookie, (void *)addr, 1,
135                     unmap_range(dma, start, addr + 1);
169 static void dma_free(void *cookie, void *addr, size_t size)
172     unmap_range(dma, (uintptr_t)addr, size);
173     free(addr);
176 static uintptr_t dma_pin(void *cookie, void *addr, size_t size)
178     return (uintptr_t)addr;
181 static void dma_unpin(void *cookie, void *addr, size_t size)
185 static void dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op)