Searched refs:VM_REG_GUEST_PDPTE3 (Results 1 – 3 of 3) sorted by relevance
119 case VM_REG_GUEST_PDPTE3: in vmcs_field_encoding()
84 VM_REG_GUEST_PDPTE3, enumerator
527 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()