Searched refs:int_id (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-2018-10-04/kernel/arch/arm/ |
| H A D | gic.c | 43 static enum IrqType get_irq_type(uint32_t int_id) argument
45 if (int_id < 16) {
47 } else if (int_id < 32) {
152 * \param int_id
161 void gic_enable_interrupt(uint32_t int_id, uint8_t cpu_targets, uint16_t prio, argument
165 uint32_t ind = int_id / 32;
166 uint32_t bit_mask = (1U << (int_id % 32));
171 int_id, bit_mask, ind);
173 enum IrqType irq_type = get_irq_type(int_id);
178 MSG("unhandled SGI IRQ %d\n", int_id);
[all...] |
| H A D | gic_v3.c | 156 * \param int_id
165 void gic_enable_interrupt(uint32_t int_id, uint8_t cpu_targets, uint16_t prio, argument
|
| H A D | gic_v2.c | 210 * \param int_id
219 void gic_enable_interrupt(uint32_t int_id, uint8_t cpu_targets, uint16_t prio, argument
|
| /barrelfish-2018-10-04/kernel/include/arch/armv8/ |
| H A D | gic_v3.h | 26 void gic_enable_interrupt(uint32_t int_id, uint8_t cpu_targets, uint16_t prio,
|
| /barrelfish-2018-10-04/kernel/include/arch/arm/ |
| H A D | gic.h | 34 void gic_enable_interrupt(uint32_t int_id, uint8_t cpu_targets, uint16_t prio,
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | gic_v3.c | 150 * \param int_id
159 void gic_enable_interrupt(uint32_t int_id, uint8_t cpu_targets, uint16_t prio, argument
|
Completed in 43 milliseconds