Searched refs:IOPorts (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | __init__.py | 13 Notification, TCB, Untyped, IOPorts, IODevice, IOPageTable, \ 16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
H A D | Allocator.py | 19 Notification, TCB, Untyped, IOPageTable, Object, IRQ, IOPorts, IODevice, \ 117 o = IOPorts(name, start_port=kwargs['start_port'], end_port=kwargs['end_port']) 22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
|
H A D | Object.py | 436 class IOPorts(Object): class in inherits:Object 440 super(IOPorts, self).__init__(name)
|
Completed in 33 milliseconds