Searched defs:int_id (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/kernel/arch/arm/ |
| H A D | gic_v3.c | 171 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
|
| H A D | gic.c | 53 static enum IrqType get_irq_type(uint32_t int_id) argument
170 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
[all...] |
| H A D | gic_v2.c | 231 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | plat_rpi3.c | 147 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
|
| /barrelfish-master/usr/drivers/pl390_dist/ |
| H A D | main.c | 45 static enum IrqType get_irq_type(uint32_t int_id) argument
105 static errval_t enable_interrupt(struct pl390_dist_driver_state *ds, int int_id, argument
[all...] |
Completed in 101 milliseconds