Searched refs:IODevice (Results 1 - 4 of 4) 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, \
121 o = IODevice(name, **kwargs)
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
|
| H A D | Object.py | 454 class IODevice(Object): class in inherits:Object
456 super(IODevice, self).__init__(name)
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | macros.py | 24 from capdl import ASIDPool, CNode, Endpoint, Frame, IODevice, IOPageTable, \
26 calculate_cnode_size, lookup_architecture namespace
|
Completed in 66 milliseconds