mk_cr_64         2645 arch/x86/kvm/x86.c 		kvm_set_cr0(vcpu, mk_cr_64(vcpu->arch.cr0, val));
mk_cr_64         2655 arch/x86/kvm/x86.c 		kvm_set_cr4(vcpu, mk_cr_64(vcpu->arch.cr4, val));