[PATCH v4 16/38] KVM: x86: Rename vmx_vmentry/vmexit_ctrl() helpers