Searched refs:ArmGic (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/tools/hardware/ |
| H A D | irq.py | 114 class ArmGic(IrqController): class in inherits:IrqController
137 if interrupt_type != ArmGic.IRQ_TYPE_PPI:
140 if interrupt_type != ArmGic.IRQ_TYPE_SPI and interrupt_type != ArmGic.IRQ_TYPE_PPI:
173 'arm,gic-400': ArmGic,
174 'arm,cortex-a7-gic': ArmGic,
175 'arm,cortex-a9-gic': ArmGic,
176 'arm,cortex-a15-gic': ArmGic,
177 'arm,gic-v3': ArmGic,
183 'qcom,msm-qgic2': ArmGic,
[all...] |
Completed in 31 milliseconds