Searched refs:ASIDControl (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, \ 153 o = ASIDControl(name) 22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
|
H A D | Object.py | 589 class ASIDControl(Object): class in inherits:Object 591 super(ASIDControl, self).__init__(name)
|
Completed in 30 milliseconds