DCPS1 Debug Change PE State to EL1 Debug Change PE State to EL1 allows the debugger to move the PE into EL1 from EL0 or to a specific mode at the current Exception level. DCPS1 is UNDEFINED if any of: The PE is in Non-debug state. EL2 is implemented, EL2 is implemented and enabled in the current Security state, and any of: EL2 is using AArch32 and HCR.TGE is set to 1. EL2 is using AArch64 and HCR_EL2.TGE is set to 1. When the PE executes DCPS1 at EL0, EL1 or EL3: If EL3 or EL1 is using AArch32, the PE enters SVC mode and LR_svc, SPSR_svc, DLR, and DSPSR become UNKNOWN. If DCPS1 is executed in Monitor mode, SCR.NS is cleared to 0. If EL1 is using AArch64, the PE enters EL1 using AArch64, selects SP_EL1, and ELR_EL1, ESR_EL1, SPSR_EL1, DLR_EL0 and DSPSR_EL0 become UNKNOWN. When the PE executes DCPS1 at EL2 the PE does not change mode, and ELR_hyp, HSR, SPSR_hyp, DLR and DSPSR become UNKNOWN. For more information on the operation of the DCPS<n> instructions, see DCPS. 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 DCPS1 // No additional decoding required. if !Halted() then Undefined(); end; if EL2Enabled() && PSTATE.EL == EL0 then let tge : bit = if ELUsingAArch32(EL2) then HCR().TGE else HCR_EL2().TGE; if tge == '1' then Undefined(); end; end; if PSTATE.EL != EL0 || ELUsingAArch32(EL1) then if PSTATE.M == M32_Monitor then SCR().NS = '0'; end; if PSTATE.EL != EL2 then AArch32_WriteMode(M32_Svc); PSTATE.E = SCTLR().EE; if IsFeatureImplemented(FEAT_PAN) && SCTLR().SPAN == '0' then PSTATE.PAN = '1'; end; Rmode(14, M32_Svc) = ARBITRARY : bits(32); // LR_svc SPSR_svc() = ARBITRARY : bits(32); else PSTATE.E = HSCTLR().EE; ELR_hyp() = ARBITRARY : bits(32); HSR() = ARBITRARY : bits(32); SPSR_hyp() = ARBITRARY : bits(32); end; DLR() = ARBITRARY : bits(32); DSPSR() = ARBITRARY : bits(32); else // Targeting EL1 using AArch64 AArch64_MaybeZeroRegisterUppers(); MaybeZeroSVEUppers(EL1); PSTATE.nRW = '0'; PSTATE.SP = '1'; PSTATE.EL = EL1; if IsFeatureImplemented(FEAT_PAN) && SCTLR_EL1().SPAN == '0' then PSTATE.PAN = '1'; end; if IsFeatureImplemented(FEAT_UAO) then PSTATE.UAO = '0'; end; ELR_EL1() = ARBITRARY : bits(64); ESR_EL1() = ARBITRARY : bits(64); SPSR_EL1() = ARBITRARY : bits(64); DLR_EL0() = ARBITRARY : bits(64); DSPSR_EL0() = ARBITRARY : bits(64); // SCTLR_EL1.IESB might be ignored in Debug state. if (IsFeatureImplemented(FEAT_IESB) && SCTLR_EL1().IESB == '1' && !ConstrainUnpredictableBool(Unpredictable_IESBinDebug)) then SynchronizeErrors(); end; end; UpdateEDSCRFields(); // Update EDSCR PE state flags 2026-03-26 20:27:25 2026-03_rel