nested_vmx_check_msr_switch
if (CC(nested_vmx_check_msr_switch(vcpu,
CC(nested_vmx_check_msr_switch(vcpu,