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);