vmcs_set_bits     688 arch/x86/kvm/vmx.c 		vmcs_set_bits(GUEST_CR0, X86_CR0_TS);
vmcs_set_bits     697 arch/x86/kvm/vmx.c 	vmcs_set_bits(GUEST_CR0, X86_CR0_TS);