Searched refs:io_space (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Diospace.c178 cap_t io_space; local
204 io_space = excaps.excaprefs[0]->cap;
214 if (cap_get_capType(io_space) != cap_io_space_cap) {
221 pci_request_id = cap_io_space_cap_get_capPCIDevice(io_space);
222 domain_id = cap_io_space_cap_get_capDomainID(io_space);
231 vtd_context_slot = lookup_vtd_context_slot(io_space);
305 cap_t io_space; local
336 io_space = excaps.excaprefs[0]->cap;
340 if (cap_get_capType(io_space) != cap_io_space_cap) {
347 pci_request_id = cap_io_space_cap_get_capPCIDevice(io_space);
[all...]
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c150 cap_t io_space; local
179 io_space = excaps.excaprefs[0]->cap;
189 if (cap_get_capType(io_space) != cap_io_space_cap) {
196 module_id = cap_io_space_cap_get_capModuleID(io_space);
252 cap_t io_space; local
283 io_space = excaps.excaprefs[0]->cap;
287 if (cap_get_capType(io_space) != cap_io_space_cap) {
294 module_id = cap_io_space_cap_get_capModuleID(io_space);
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dinit_data.h58 seL4_CPtr io_space; member in struct:__anon902
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c333 seL4_CPtr io_space = simple_init_cap(&env.simple, seL4_CapIOSpace); local
334 res = sel4utils_make_iommu_dma_alloc(&env.vka, &env.vspace, &env.io_ops.dma_manager, 1, &io_space);
H A Dsimple.c46 cap = init_data->io_space;
/seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dtest.h66 seL4_CPtr io_space; member in struct:env

Completed in 58 milliseconds