Searched defs:custom_irq_from_pci_device (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/ | ||
| H A D | custom_simple.h | 101 static inline int custom_irq_from_pci_device(custom_simple_t *custom_simple, function |
Completed in 28 milliseconds