mk_cr_64         6066 arch/x86/kvm/x86.c 		res = kvm_set_cr0(vcpu, mk_cr_64(kvm_read_cr0(vcpu), val));
mk_cr_64         6075 arch/x86/kvm/x86.c 		res = kvm_set_cr4(vcpu, mk_cr_64(kvm_read_cr4(vcpu), val));