Searched defs:iospace (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/global-components/components/modules/x86-iospace-dma/templates/
H A Dx86-iospace-dma.template.c62 cspacepath_t iospace = {0}; local
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h93 arch_simple_get_iospace_fn iospace; member in struct:arch_simple
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c87 int sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/
H A Dguest_vspace.c20 seL4_CPtr iospace; member in struct:guest_iospace
139 int vm_guest_add_iospace(vm_t *vm, vspace_t *loader, seL4_CPtr iospace) argument
[all...]

Completed in 96 milliseconds