| /seL4-test-master/projects/util_libs/libethdrivers/src/ |
| H A D | helpers.c | 16 dma_alloc_pin(ps_dma_man_t *dma_man, size_t size, int cached, int alignment) argument
18 void *virt = ps_dma_alloc(dma_man, size, alignment, cached, PS_MEM_NORMAL);
28 if (!cached) {
|
| /seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
| H A D | helpers.h | 24 dma_addr_t dma_alloc_pin(ps_dma_man_t *dma_man, size_t size, int cached, int alignment);
|
| /seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | pmem.h | 39 * @param cached map the mappings cached or not,
43 static inline void *ps_pmem_map(ps_io_ops_t *ops, pmem_region_t region, bool cached, ps_mem_flags_t flags) argument
45 void *vaddr = ps_io_map(&ops->io_mapper, region.base_addr, region.length, cached, flags);
|
| H A D | io.h | 49 * @param cached Whether region should be mapped cached or not
57 int cached,
82 int cached,
87 return io_mapper->io_map_fn(io_mapper->cookie, paddr, size, cached, flags);
174 * @param cached Whether the region should be mapped cached or not
183 int cached,
78 ps_io_map( const ps_io_mapper_t *io_mapper, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4dma/include/dma/ |
| H A D | dma.h | 32 int cached; member in struct:dma_mem_descriptor
67 * @param[in] cached 0 if the requested memory should not be cached.
72 typedef int (*dma_morecore_fn)(size_t min_size, int cached,
|
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 67 int cached, ps_mem_flags_t flags);
93 int cached UNUSED, ps_mem_flags_t flags UNUSED)
131 int cached UNUSED, ps_mem_flags_t flags UNUSED)
154 int cached, ps_mem_flags_t flags)
157 return __map_device_page_regular(cookie, paddr, size, cached, flags);
159 return __map_device_page_failsafe(cookie, paddr, size, cached, flags);
153 __map_device_page(void *cookie, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument
|
| H A D | io.c | 137 size_t size, size_t page_size_bits, bool cached)
189 mapping->page_size_bits, cached);
201 static void *sel4platsupport_map_paddr(void *cookie, uintptr_t paddr, size_t size, int cached, argument
221 void *result = sel4platsupport_map_paddr_with_page_size(io_mapper, paddr, size, sel4_page_sizes[i], cached);
136 sel4platsupport_map_paddr_with_page_size(sel4platsupport_io_mapper_cookie_t *io_mapper, uintptr_t paddr, size_t size, size_t page_size_bits, bool cached) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4dma/src/ |
| H A D | dma.c | 267 int cached; local
275 cached = 0;
303 err = allocator->morecore(size, cached, &dma_desc);
454 static void *dma_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
462 if (cached) {
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | iommu_dma.c | 146 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
149 if (cached || flags != PS_MEM_NORMAL) {
164 ZF_LOGE("Only support cached normal memory");
|
| H A D | page_dma.c | 66 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
118 res = vspace_reserve_range(&dma->vspace, size, seL4_AllRights, cached, &base);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_net.c | 88 static void *malloc_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
90 assert(cached);
|
| /seL4-test-master/kernel/manual/parts/ |
| H A D | vspace.tex | 294 to be cached \\
311 \texttt{seL4\_x86\_WriteBack} & Read and writes are cached \\
313 from being cached \\
|