Searched refs:VM_REG_GUEST_PDPTE0 (Results 1 – 3 of 3) sorted by relevance
115 case VM_REG_GUEST_PDPTE0: in vmcs_field_encoding()
88 VM_REG_GUEST_PDPTE0, enumerator
527 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]); in tss32_restore()