trace_kvm_cr_read 4857 arch/x86/kvm/vmx/vmx.c 			trace_kvm_cr_read(cr, val);
trace_kvm_cr_read 4862 arch/x86/kvm/vmx/vmx.c 			trace_kvm_cr_read(cr, val);