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));