Searched refs:KernelInterrupt (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/tools/hardware/utils/ |
| H A D | rule.py | 104 class KernelInterrupt: class in inherits:
141 return 'KernelInterrupt(label={},irq={},sel_macro={},false_irq={})'.format(self.label, self.irq, self.sel_macro, self.false_irq)
183 def get_interrupts(self, tree: FdtParser, node: WrappedNode) -> List[KernelInterrupt]:
199 irq = KernelInterrupt(name, defaultIrq, prio, sel_macro,
205 irq = KernelInterrupt(name, interrupts[rule], desc=irq_desc)
210 irq = KernelInterrupt(name, interrupts[idx])
|
Completed in 23 milliseconds