Lines Matching refs:pvh
1101 pvh = pvh_raw
1102 pvh_type = pvh & 0x3
1106 pvh = pvh | PVH_HIGH_FLAGS_ARM64
1108 pvh = pvh | PVH_HIGH_FLAGS_ARM32
1113 print "PVH type: page-table descriptor ({:#x})".format(pvh & ~0x3)
1116 PVDumpPTE(None, pvh, verbose_level)
1118 pvep = pvh & ~0x3
1194 ptd = kern.GetValueFromAddress(pvh & ~0x3, 'pt_desc_t *')
1258 pvh = unsigned(kern.globals.pv_head_table[pn])
1260 pvh = pvh | PVH_HIGH_FLAGS_ARM64
1262 pvh = pvh | PVH_HIGH_FLAGS_ARM32
1263 pvh_type = pvh & 0x3
1265 raise ValueError("PV head {:#x} does not correspond to a page-table descriptor".format(pvh))
1266 ptd = kern.GetValueFromAddress(pvh & ~0x3, 'pt_desc_t *')
1548 pvh = unsigned(kern.globals.pv_head_table[pn]) | pvh_set_bits
1549 pvh_type = pvh & 0x3
1561 ptep = pvh & ~0x3
1571 pvep = pvh & ~0x3