Searched refs:VM_REG_GUEST_PDPTE3 (Results 1 – 4 of 4) sorted by relevance
118 case VM_REG_GUEST_PDPTE3: in vmcs_field_encoding()
4203 err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE3, meta); in vmx_vcpu_snapshot()
93 VM_REG_GUEST_PDPTE3, enumerator
526 SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()