Symbol: mk_cr_64
arch/x86/kvm/x86.c
8592
res = kvm_set_cr0(vcpu, mk_cr_64(kvm_read_cr0(vcpu), val));
arch/x86/kvm/x86.c
8601
res = kvm_set_cr4(vcpu, mk_cr_64(kvm_read_cr4(vcpu), val));