Searched refs:get_nexus_addr_cells (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/tools/hardware/ | ||
| H A D | irq.py | 29 def get_nexus_addr_cells(self) -> int: member in class:IrqController 100 cells = controller.get_nexus_addr_cells() |
Completed in 31 milliseconds