Lines Matching refs:pvh
1106 pvh = pvh_raw
1107 pvh_type = pvh & 0x3
1111 pvh = pvh | PVH_HIGH_FLAGS_ARM64
1113 pvh = pvh | PVH_HIGH_FLAGS_ARM32
1118 print("PVH type: page-table descriptor ({:#x})".format(pvh & ~0x3))
1121 PVDumpPTE(None, pvh, verbose_level)
1123 pvep = pvh & ~0x3
1199 ptd = kern.GetValueFromAddress(pvh & ~0x3, 'pt_desc_t *')
1263 pvh = unsigned(kern.globals.pv_head_table[pn])
1265 pvh = pvh | PVH_HIGH_FLAGS_ARM64
1267 pvh = pvh | PVH_HIGH_FLAGS_ARM32
1268 pvh_type = pvh & 0x3
1270 raise ValueError("PV head {:#x} does not correspond to a page-table descriptor".format(pvh))
1271 ptd = kern.GetValueFromAddress(pvh & ~0x3, 'pt_desc_t *')
1553 pvh = unsigned(kern.globals.pv_head_table[pn]) | pvh_set_bits
1554 pvh_type = pvh & 0x3
1566 ptep = pvh & ~0x3
1576 pvep = pvh & ~0x3