Searched refs:Level (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | util.py | 35 class Level: class in inherits:
114 Level(SIZE_4GB, [ObjectType.seL4_LargePageObject],
116 Level(SIZE_4M, [ObjectType.seL4_SmallPageObject],
133 Level(2 ** 48, [], ObjectType.seL4_X64_PML4, PML4, "pml4"),
134 Level(2 ** 39, [ObjectType.seL4_HugePageObject],
136 Level(2 ** 30, [ObjectType.seL4_LargePageObject],
138 Level(2 ** 21, [ObjectType.seL4_SmallPageObject],
158 Level(SIZE_4GB, [ObjectType.seL4_ARM_SectionObject, ObjectType.seL4_ARM_SuperSectionObject],
160 Level(SIZE_2M if self.hyp else SIZE_1M, [
179 Level(
[all...] |
| /seL4-camkes-master/kernel/manual/parts/ |
| H A D | vspace.tex | 64 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
77 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
95 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
107 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
125 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
139 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
|
Completed in 33 milliseconds