Searched refs:domainID (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h79 * @param domainID domain ID to request
84 typedef seL4_Error (*arch_simple_get_iospace_fn)(void *data, uint16_t domainID, uint16_t deviceID,
154 arch_simple_get_iospace(arch_simple_t *arch_simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument
165 return arch_simple->iospace(arch_simple->data, domainID, deviceID, path);
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c149 uint16_t domainID = io_space_capdata_get_domainID(w); local
151 domainID >= x86KSFirstValidIODomain &&
152 domainID != 0 &&
153 domainID <= MASK(x86KSnumIODomainIDBits)) {
154 return cap_io_space_cap_new(domainID, PCIDevice);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c141 /*- set iospace_cap = alloc('iospace_%d' % devid, seL4_IA32_IOSpace, domainID=domain, bus=bus, dev=dev, fun=fun) -*/
335 static seL4_Error simple_camkes_get_iospace(void *data, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) { argument
337 uint32_t devid = ((uint32_t)domainID << 16) | (uint32_t)deviceID;
/seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple.h180 * @param domainID domain ID to request
185 typedef seL4_Error(*simple_get_iospace_fn)(void *data, uint16_t domainID, uint16_t deviceID, cspacepath_t *path);
505 static inline seL4_CPtr simple_get_iospace(simple_t *simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument
516 return simple->arch_simple.iospace(simple->data, domainID, deviceID, path);
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py455 def __init__(self, name, domainID, bus, dev, fun):
457 self.domainID = domainID
463 return '%s = io_device (domainID: %d, 0x%x:%d.%d)' % (self.name, self.domainID, self.bus, self.dev, self.fun)

Completed in 48 milliseconds