Searched refs:vspace_get_cookie (Results 1 - 6 of 6) sorted by relevance
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_memory_arch.c | 28 bits = vspace_get_cookie(vspace, (void *)ipa);
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 40 uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr); 87 uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr);
|
H A D | page_dma.c | 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);
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 268 cookies[i] = vspace_get_cookie(muslc_this_vspace, vaddr);
|
/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 833 static inline uintptr_t vspace_get_cookie(vspace_t *vspace, void *vaddr) function
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 891 return vka_utspace_paddr(vka, vspace_get_cookie(vspace, vaddr), type, size_bits);
|
Completed in 159 milliseconds