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 D | simple.h | 79 * @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 D | objecttype.c | 149 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 D | component.simple.c | 141 /*- 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 D | simple.h | 180 * @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 D | Object.py | 455 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