Searched refs:IrqController (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/tools/hardware/
H A Dirq.py12 class IrqController: class in inherits:
40 return 'IrqController(node={},kind={})'.format(self.node.path, type(self).__name__)
43 class InterruptNexus(IrqController):
44 ''' IrqController for interrupt nexuses, which are a mechanism for
114 class ArmGic(IrqController):
150 class RawIrqController(IrqController):
162 class PassthroughIrqController(IrqController):
199 return IrqController(node, tree)
H A Dfdt.py11 from hardware.irq import create_irq_controller, IrqController namespace
22 self.irq_controllers: Dict[int, IrqController] = {}
61 def get_irq_controller(self, phandle: int) -> IrqController:

Completed in 26 milliseconds