trace_kvm_cr_write
trace_kvm_cr_write(cr, val);
trace_kvm_cr_write(0, (kvm_read_cr0_bits(vcpu, ~0xful) | val));