Searched refs:VM_REG_GUEST_PDPTE1 (Results 1 – 5 of 5) sorted by relevance
93 case VM_REG_GUEST_PDPTE1: in vmcs_field_encoding()
94 VM_REG_GUEST_PDPTE1, enumerator
481 VM_REG_GUEST_PDPTE1, /* VMM_REG_PDPTE1 */
2169 case VM_REG_GUEST_PDPTE1: in svm_getreg()2259 case VM_REG_GUEST_PDPTE1: in svm_setreg()
538 SETREG(vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]); in tss32_restore()