Searched refs:sys_debug_create_irq_src_cap (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/include/barrelfish/ |
H A D | sys_debug.h | 49 errval_t sys_debug_create_irq_src_cap(struct capref cap, uint64_t start, uint64_t end);
|
/barrelfish-master/lib/barrelfish/ |
H A D | sys_debug.c | 102 errval_t sys_debug_create_irq_src_cap(struct capref cap, uint64_t start, function
|
/barrelfish-master/usr/kaluga/ |
H A D | main.c | 141 err = sys_debug_create_irq_src_cap(all_irq_cap, 0, 65536);
|
H A D | armv8_imx8x.c | 184 err = sys_debug_create_irq_src_cap(irq_src, irq + DIST_OFFSET, irq + DIST_OFFSET); 251 err = sys_debug_create_irq_src_cap(irq_src, irq + DIST_OFFSET, irq + DIST_OFFSET);
|
H A D | armv7.c | 88 err = sys_debug_create_irq_src_cap(irq_src, c->irq, c->irq);
|
/barrelfish-master/usr/pci/ |
H A D | pci_service.c | 270 err = sys_debug_create_irq_src_cap(cap, irq, irq);
|
Completed in 42 milliseconds