Searched refs:get_irq_controller (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/kernel/tools/hardware/
H A Dirq.py92 controller = self.tree.get_irq_controller(nexus_data.pop(0))
167 irq_parent = self.tree.get_irq_controller(irq_parent_ph)
H A Dfdt.py61 def get_irq_controller(self, phandle: int) -> IrqController: member in class:FdtParser
H A Ddevice.py122 interrupt_parent = tree.get_irq_controller(phandle)
126 interrupt_parent = tree.get_irq_controller(self.get_interrupt_parent())

Completed in 26 milliseconds