Searched refs:seL4_HugePageObject (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | util.py | 134 Level(2 ** 39, [ObjectType.seL4_HugePageObject],
180 Level(2 ** 39, [ObjectType.seL4_HugePageObject],
188 return [Level(2 ** 39, [ObjectType.seL4_HugePageObject], ObjectType.seL4_AARCH64_PUD, PUD, "pud"),
208 Level(2 ** 39, [ObjectType.seL4_HugePageObject],
|
| H A D | Object.py | 70 seL4_HugePageObject = auto() variable in class:ObjectType
|
Completed in 34 milliseconds