trace_kvm_arm_set_dreg32 42 arch/arm64/kvm/debug.c trace_kvm_arm_set_dreg32("Saved MDSCR_EL1", trace_kvm_arm_set_dreg32 52 arch/arm64/kvm/debug.c trace_kvm_arm_set_dreg32("Restored MDSCR_EL1", trace_kvm_arm_set_dreg32 158 arch/arm64/kvm/debug.c trace_kvm_arm_set_dreg32("SPSR_EL2", *vcpu_cpsr(vcpu)); trace_kvm_arm_set_dreg32 204 arch/arm64/kvm/debug.c trace_kvm_arm_set_dreg32("MDCR_EL2", vcpu->arch.mdcr_el2); trace_kvm_arm_set_dreg32 205 arch/arm64/kvm/debug.c trace_kvm_arm_set_dreg32("MDSCR_EL1", vcpu_read_sys_reg(vcpu, MDSCR_EL1));