Searched refs:MSIIRQ (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | Allocator.py | 21 ObjectRights, IOAPICIRQ, MSIIRQ, IRQControl, get_object_size, ASIDControl, \
142 o = MSIIRQ(name, kwargs['vector'], kwargs['handle'], kwargs['pci_bus'],
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
|
| H A D | Object.py | 526 class MSIIRQ(IRQ): class in inherits:IRQ
528 super(MSIIRQ, self).__init__(name, number=vector)
|
Completed in 60 milliseconds