66     def __init__(self, cr3, page_levels):  argument
67         self.cr3 = cr3
68         self.page_levels = page_levels
69         self.page_level_write_through = is_bit_defined_tupled(cr3, 3)
70         self.page_level_cache_disabled = is_bit_defined_tupled(cr3, 4)
71         self.next_entry_physical_address = cr3 & PHYSICAL_ADDRESS_MASK & page_mask()
73     def next_entry(self, va):  argument
74         next_level = self.page_levels
75 …  return PageHierarchyEntry(entry_va(next_level, self.next_entry_physical_address, va), next_level)
77     def mk_string(self):  argument
80     {'cr3 binary data': <30} {hex(self.cr3)}
81     {'next entry physical address': <30} {hex(self.next_entry_physical_address)}
83 …{'bit' : <4} {self.page_level_write_through[0]: <10} {'page level write through': <30} {self.page_…
84 …{'bit' : <4} {self.page_level_cache_disabled[0]: <10} {'page level cache disabled': <30} {self.pag…
89     def __init__(self, address, level):  argument
95             self.is_page = True
96             self.entry_present = is_bit_defined_tupled(data, 0)
97             self.read_write = is_bit_defined_tupled(data, 1)
98             self.user_access_allowed = is_bit_defined_tupled(data, 2)
99             self.page_level_write_through = is_bit_defined_tupled(data, 3)
100             self.page_level_cache_disabled = is_bit_defined_tupled(data, 4)
101             self.entry_was_accessed = is_bit_defined_tupled(data, 5)
102             self.dirty = is_bit_defined_tupled(data, 6)
103             self.pat = is_bit_defined_tupled(data, 7)
104             self.global_translation = is_bit_defined_tupled(data, 8)
105             self.page_physical_address = data & PHYSICAL_ADDRESS_MASK & page_mask(level)
106             self.next_entry_physical_address = None
107             self.hlat_restart_with_ordinary = is_bit_defined_tupled(data, 11)
108             self.protection_key = content_tupled(data, 59, 62)
109             self.executed_disable = is_bit_defined_tupled(data, 63)
113             self.is_page = page_size_bit
114             self.entry_present = is_bit_defined_tupled(data, 0)
115             self.read_write = is_bit_defined_tupled(data, 1)
116             self.user_access_allowed = is_bit_defined_tupled(data, 2)
117             self.page_level_write_through = is_bit_defined_tupled(data, 3)
118             self.page_level_cache_disabled = is_bit_defined_tupled(data, 4)
119             self.entry_was_accessed = is_bit_defined_tupled(data, 5)
120             self.page_size = page_size
121             self.dirty = is_bit_defined_tupled(
123             self.global_translation = is_bit_defined_tupled(
125             self.pat = is_bit_defined_tupled(
127 …self.page_physical_address = data & PHYSICAL_ADDRESS_MASK & page_mask(level) if page_size_bit else…
128 …self.next_entry_physical_address = None if page_size_bit else data & PHYSICAL_ADDRESS_MASK & page_…
129             self.hlat_restart_with_ordinary = is_bit_defined_tupled(data, 11)
130             self.protection_key = content_tupled(data, 59, 62) if page_size_bit else None
131             self.executed_disable = is_bit_defined_tupled(data, 63)
132         self.address = address
133         self.page_entry_binary_data = data
134         self.page_hierarchy_level = level
136     def next_entry(self, va):  argument
137         if self.is_page or not self.entry_present[1]:
140         next_level = self.page_hierarchy_level - 1
141 …  return PageHierarchyEntry(entry_va(next_level, self.next_entry_physical_address, va), next_level)
144     def mk_string(self):  argument
145         if not self.entry_present[1]:
147 level {self.page_hierarchy_level}:
148     {'entry address': <30} {hex(self.address)}
149     {'page entry binary data': <30} {hex(self.page_entry_binary_data)}
153         elif self.is_page:
158 level {self.page_hierarchy_level}:
159     {'entry address': <30} {hex(self.address)}
160     {'page entry binary data': <30} {hex(self.page_entry_binary_data)}
161 …self.page_hierarchy_level == 3 else '2MB' if self.page_hierarchy_level == 2 else '4KB' if self.pag…
162     {'page physical address': <30} {hex(self.page_physical_address)}
164     {'bit': <4} {self.entry_present[0]: <10} {'entry present': <30} {self.entry_present[1]}
165     {'bit': <4} {self.read_write[0]: <10} {'read/write access allowed': <30} {self.read_write[1]}
166 …{'bit': <4} {self.user_access_allowed[0]: <10} {'user access allowed': <30} {self.user_access_allo…
167 …{'bit': <4} {self.page_level_write_through[0]: <10} {'page level write through': <30} {self.page_l…
168 …{'bit': <4} {self.page_level_cache_disabled[0]: <10} {'page level cache disabled': <30} {self.page…
169 …{'bit': <4} {self.entry_was_accessed[0]: <10} {'entry has been accessed': <30} {self.entry_was_acc…
170 …{"" if self.page_hierarchy_level == 1 else f"{'bit': <4} {self.page_size[0]: <10} {'page size': <3…
171     {'bit': <4} {self.dirty[0]: <10} {'page dirty': <30} {self.dirty[1]}
172 …{'bit': <4} {self.global_translation[0]: <10} {'global translation': <30} {self.global_translation…
173 …{'bit': <4} {self.hlat_restart_with_ordinary[0]: <10} {'restart to ordinary': <30} {self.hlat_rest…
174     {'bit': <4} {self.pat[0]: <10} {'pat': <30} {self.pat[1]}
175     {'bits': <4} {str(self.protection_key[0]): <10} {'protection key': <30} {self.protection_key[1]}
176     {'bit': <4} {self.executed_disable[0]: <10} {'execute disable': <30} {self.executed_disable[1]}
180 level {self.page_hierarchy_level}:
181     {'entry address': <30} {hex(self.address)}
182     {'page entry binary data': <30} {hex(self.page_entry_binary_data)}
183     {'next entry physical address': <30} {hex(self.next_entry_physical_address)}
185     {'bit': <4} {self.entry_present[0]: <10} {'entry present': <30} {self.entry_present[1]}
186     {'bit': <4} {self.read_write[0]: <10} {'read/write access allowed': <30} {self.read_write[1]}
187 …{'bit': <4} {self.user_access_allowed[0]: <10} {'user access allowed': <30} {self.user_access_allo…
188 …{'bit': <4} {self.page_level_write_through[0]: <10} {'page level write through': <30} {self.page_l…
189 …{'bit': <4} {self.page_level_cache_disabled[0]: <10} {'page level cache disabled': <30} {self.page…
190 …{'bit': <4} {self.entry_was_accessed[0]: <10} {'entry has been accessed': <30} {self.entry_was_acc…
191     {'bit': <4} {self.page_size[0]: <10} {'page size': <30} {self.page_size[1]}
192 …{'bit': <4} {self.hlat_restart_with_ordinary[0]: <10} {'restart to ordinary': <30} {self.hlat_rest…
193     {'bit': <4} {self.executed_disable[0]: <10} {'execute disable': <30} {self.executed_disable[1]}
204     def __init__(self):  argument
205         super(TranslateVM, self).__init__('translate-vm', gdb.COMMAND_USER)
207     def invoke(self, arg, from_tty):  argument