trace_kvm_cr_write 4815 arch/x86/kvm/vmx/vmx.c 		trace_kvm_cr_write(cr, val);
trace_kvm_cr_write 4849 arch/x86/kvm/vmx/vmx.c 		trace_kvm_cr_write(0, kvm_read_cr0(vcpu));
trace_kvm_cr_write 4868 arch/x86/kvm/vmx/vmx.c 		trace_kvm_cr_write(0, (kvm_read_cr0(vcpu) & ~0xful) | val);