Searched refs:VM_REG_GUEST_PDPTE3 (Results 1 – 5 of 5) sorted by relevance
97 case VM_REG_GUEST_PDPTE3: in vmcs_field_encoding()
96 VM_REG_GUEST_PDPTE3, enumerator
483 VM_REG_GUEST_PDPTE3, /* VMM_REG_PDPTE3 */
2171 case VM_REG_GUEST_PDPTE3: in svm_getreg()2261 case VM_REG_GUEST_PDPTE3: in svm_setreg()
540 SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()