Searched refs:VM_REG_GUEST_PDPTE2 (Results 1 – 3 of 3) sorted by relevance
119 case VM_REG_GUEST_PDPTE2: in vmcs_field_encoding()
90 VM_REG_GUEST_PDPTE2, enumerator
528 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]); in tss32_restore()