HOST_CR0         1939 arch/x86/kvm/vmx.c 	vmcs_writel(HOST_CR0, read_cr0());  /* 22.2.3 */
HOST_CR0         2947 arch/x86/kvm/vmx.c 	vmcs_writel(HOST_CR0, read_cr0());