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

/seL4-camkes-master/kernel/tools/hardware/
H A Dfdt.py11 from hardware.irq import create_irq_controller, IrqController namespace
51 self.irq_controllers[wrapped.get_phandle()] = create_irq_controller(wrapped, self)
H A Dirq.py189 def create_irq_controller(node: WrappedNode, tree: 'FdtParser'): function

Completed in 34 milliseconds