Searched refs:deviceID (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 80 * @param deviceID PCI device ID
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-refos-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 80 * @param deviceID PCI device ID
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-refos-master/projects/seL4_libs/libsel4simple/include/simple/ |
| H A D | simple.h | 181 * @param deviceID PCI device ID
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-refos-master/libs/libsel4simple/include/simple/ |
| H A D | simple.h | 181 * @param deviceID PCI device ID
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);
|
Completed in 29 milliseconds