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

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py13 Notification, TCB, Untyped, IOPorts, IODevice, IOPageTable, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
H A DAllocator.py19 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 DObject.py436 class IOPorts(Object): class in inherits:Object
440 super(IOPorts, self).__init__(name)

Completed in 33 milliseconds