Searched refs:cacheable (Results 1 - 25 of 30) sorted by relevance

12

/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dmapping.h31 * @param cacheable 1 if the page should be cached (0 if it is for DMA)
40 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects);
44 seL4_CapRights_t rights, int cacheable)
48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
78 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
84 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir,
43 sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable) argument
H A Dvspace.h60 int cacheable, size_t size_bits);
66 int cacheable; member in struct:sel4utils_res
285 * @param cacheable 1 if the pages should be mapped with cacheable attributes. 0 for DMA.
291 seL4_CapRights_t rights, int cacheable, void **result);
297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result);
310 * @param cacheable 1 if the pages should be mapped with cacheable attributes. 0 for DMA.
315 size_t size, seL4_CapRights_t rights, int cacheable);
H A Delf.h44 int cacheable; member in struct:sel4utils_elf_region
H A Dvspace_internal.h416 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
419 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
423 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
434 int cacheable);
448 int cacheable, void **vaddr);
450 seL4_CapRights_t rights, int cacheable);
452 size_t size, int cacheable);
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmapping.h31 * @param cacheable 1 if the page should be cached (0 if it is for DMA)
40 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects);
44 seL4_CapRights_t rights, int cacheable)
48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
78 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
84 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir,
43 sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable) argument
H A Dvspace.h60 int cacheable, size_t size_bits);
66 int cacheable; member in struct:sel4utils_res
285 * @param cacheable 1 if the pages should be mapped with cacheable attributes. 0 for DMA.
291 seL4_CapRights_t rights, int cacheable, void **result);
297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result);
310 * @param cacheable 1 if the pages should be mapped with cacheable attributes. 0 for DMA.
315 size_t size, seL4_CapRights_t rights, int cacheable);
H A Delf.h44 int cacheable; member in struct:sel4utils_elf_region
H A Dvspace_internal.h416 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
419 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
423 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
434 int cacheable);
448 int cacheable, void **vaddr);
450 seL4_CapRights_t rights, int cacheable);
452 size_t size, int cacheable);
/seL4-refos-master/libs/libsel4utils/src/
H A Dmapping.c26 int cacheable, vka_object_t *objects, int *num_objects)
37 seL4_ARCH_VMAttributes attr = cacheable ? seL4_ARCH_Default_VMAttributes :
80 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects)
83 cacheable, objects, num_objects);
88 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
92 cacheable, pts, num_pts);
99 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
24 map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
79 sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
87 sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pts, int *num_pts) argument
98 sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir, vka_object_t *pdpt) argument
H A Delf.c240 regions[i].rights, regions[i].cacheable, (void **)&regions[i].reservation_vstart);
246 regions[i].cacheable);
368 region->cacheable = 1;
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c26 int cacheable, vka_object_t *objects, int *num_objects)
37 seL4_ARCH_VMAttributes attr = cacheable ? seL4_ARCH_Default_VMAttributes :
80 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects)
83 cacheable, objects, num_objects);
88 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
92 cacheable, pts, num_pts);
99 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
24 map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
79 sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
87 sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pts, int *num_pts) argument
98 sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir, vka_object_t *pdpt) argument
H A Delf.c240 regions[i].rights, regions[i].cacheable, (void **)&regions[i].reservation_vstart);
246 regions[i].cacheable);
368 region->cacheable = 1;
/seL4-refos-master/libs/libsel4vspace/src/
H A Dvspace.c76 seL4_CapRights_t rights, int cacheable)
82 rights, cacheable, &result);
102 seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie)
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
149 seL4_CapRights_t rights, int cacheable, void **vaddr)
151 return vspace_reserve_range_aligned(vspace, bytes, seL4_PageBits, rights, cacheable, vaddr);
75 vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
101 vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie) argument
148 vspace_reserve_range(vspace_t *vspace, size_t bytes, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c76 seL4_CapRights_t rights, int cacheable)
82 rights, cacheable, &result);
102 seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie)
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
149 seL4_CapRights_t rights, int cacheable, void **vaddr)
151 return vspace_reserve_range_aligned(vspace, bytes, seL4_PageBits, rights, cacheable, vaddr);
75 vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
101 vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie) argument
148 vspace_reserve_range(vspace_t *vspace, size_t bytes, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h101 * @param cacheable 1 if the pages should be mapped with cacheable attributes. 0 for DMA.
107 seL4_CapRights_t rights, int cacheable, void **vaddr);
122 * @param cacheable cacheable attribute to map pages into the vspace with
127 size_t size_bits, seL4_CapRights_t rights, int cacheable);
179 * @param cacheable cacheable attribute to map page into the vspace with
186 seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie);
236 size_t num_pages, size_t size_bits, int cacheable);
555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
761 vspace_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t bytes, int cacheable) argument
[all...]
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dvspace.h101 * @param cacheable 1 if the pages should be mapped with cacheable attributes. 0 for DMA.
107 seL4_CapRights_t rights, int cacheable, void **vaddr);
122 * @param cacheable cacheable attribute to map pages into the vspace with
127 size_t size_bits, seL4_CapRights_t rights, int cacheable);
179 * @param cacheable cacheable attribute to map page into the vspace with
186 seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie);
236 size_t num_pages, size_t size_bits, int cacheable);
555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
761 vspace_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t bytes, int cacheable) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c128 seL4_CapRights_t rights, int cacheable)
137 reservation->cacheable = cacheable;
149 int cacheable, size_t size_bits)
156 rights, cacheable, objects, &num);
172 int cacheable, size_t size_bits)
180 (seL4_Word) vaddr, rights, cacheable, size_bits, &pagetable, &pagedir, &pdpt);
207 int cacheable, size_t size_bits)
215 (seL4_Word) vaddr, rights, cacheable, size_bits, pts, &num_pts);
230 int cacheable, size_
127 perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
148 sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
171 sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
206 sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
229 map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
288 map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
306 new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable, bool can_use_dev) argument
395 sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
558 sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, seL4_CapRights_t rights, int cacheable, void **result) argument
565 sel4utils_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
633 sel4utils_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t size, int cacheable) argument
[all...]
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c128 seL4_CapRights_t rights, int cacheable)
137 reservation->cacheable = cacheable;
149 int cacheable, size_t size_bits)
156 rights, cacheable, objects, &num);
172 int cacheable, size_t size_bits)
180 (seL4_Word) vaddr, rights, cacheable, size_bits, &pagetable, &pagedir, &pdpt);
207 int cacheable, size_t size_bits)
215 (seL4_Word) vaddr, rights, cacheable, size_bits, pts, &num_pts);
230 int cacheable, size_
127 perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
148 sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
171 sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
206 sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
229 map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
288 map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
306 new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable, bool can_use_dev) argument
395 sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
558 sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, seL4_CapRights_t rights, int cacheable, void **result) argument
565 sel4utils_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
633 sel4utils_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t size, int cacheable) argument
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Dwindow.h89 bool cacheable; member in struct:w_window
156 @param cacheable Whether to create the window flagged as cached.
160 seL4_Word permissions, vspace_t *vspace, reservation_t reservation, bool cacheable);
H A Dwindow.c166 vspace_t *vspace, reservation_t reservation, bool cacheable)
187 w->cacheable = cacheable;
165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, vspace_t *vspace, reservation_t reservation, bool cacheable) argument
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Dwindow.h89 bool cacheable; member in struct:w_window
156 @param cacheable Whether to create the window flagged as cached.
160 seL4_Word permissions, vspace_t *vspace, reservation_t reservation, bool cacheable);
H A Dwindow.c166 vspace_t *vspace, reservation_t reservation, bool cacheable)
187 w->cacheable = cacheable;
165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, vspace_t *vspace, reservation_t reservation, bool cacheable) argument
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/
H A Dvspace.h110 @param cacheable Whether this memory segment is cacheable.
115 bool cacheable, int *winID);
H A Dvspace.c216 bool cacheable, int *winID)
239 w_convert_permission_to_caprights(permissions), cacheable);
247 permissions, &vs->vspace, r, cacheable);
536 /* Check window cacheable state matches with requested cached state. */
537 if (cached != window->cacheable) {
215 vs_create_window(struct vs_vspace *vs, vaddr_t vaddr, vaddr_t size, seL4_Word permissions, bool cacheable, int *winID) argument
/seL4-refos-master/apps/process_server/src/system/addrspace/
H A Dvspace.h110 @param cacheable Whether this memory segment is cacheable.
115 bool cacheable, int *winID);

Completed in 329 milliseconds

12