orig_mdcr_el2     104 arch/arm64/kvm/debug.c 	unsigned long mdscr, orig_mdcr_el2 = vcpu->arch.mdcr_el2;
orig_mdcr_el2     201 arch/arm64/kvm/debug.c 	if (has_vhe() && orig_mdcr_el2 != vcpu->arch.mdcr_el2)