Searched refs:VM_REG_GUEST_PDPTE1 (Results 1 – 3 of 3) sorted by relevance
117 case VM_REG_GUEST_PDPTE1: in vmcs_field_encoding()
89 VM_REG_GUEST_PDPTE1, enumerator
528 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]); in tss32_restore()