/* Swap MSR entry in host/guest MSR entry array.  */
static void move_msr_up(struct vcpu_vmx *vmx, int from, int to)
/* Swap MSR entry in host/guest MSR entry array.  */
static void move_msr_up(struct vcpu_vmx *vmx, int from, int to)
{
	struct shared_msr_entry tmp;
	tmp = vmx->guest_msrs[to];
	vmx->guest_msrs[to] = vmx->guest_msrs[from];
	vmx->guest_msrs[from] = tmp;
}