Searched refs:VM_REG_GUEST_PDPTE0 (Results 1 – 4 of 4) sorted by relevance
113 case VM_REG_GUEST_PDPTE0: in vmcs_field_encoding()
4189 err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE0, meta); in vmx_vcpu_snapshot()
90 VM_REG_GUEST_PDPTE0, enumerator
524 SETREG(vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]); in tss32_restore()