DCPS2 Debug Change PE State to EL2 Debug Change PE State to EL2 allows the debugger to move the PE into EL2 from a lower Exception level. DCPS2 is UNDEFINED if any of: The PE is in Non-debug state. EL2 is not implemented. The PE is in Secure state and any of: Secure EL2 is not implemented. Secure EL2 is implemented and Secure EL2 is disabled. When the PE executes DCPS2: If EL2 is using AArch32, the PE enters Hyp mode and ELR_hyp, HSR, SPSR_hyp, DLR and DSPSR become UNKNOWN. If EL2 is using AArch64, the PE enters EL2 using AArch64, selects SP_EL2, and ELR_EL2, ESR_EL2, SPSR_EL2, DLR_EL0 and DSPSR_EL0 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 1 0 DCPS2 if !HaveEL(EL2) then Undefined(); end; if !Halted() || !EL2Enabled() then Undefined(); end; if ELUsingAArch32(EL2) then AArch32_WriteMode(M32_Hyp); PSTATE.E = HSCTLR().EE; ELR_hyp() = ARBITRARY : bits(32); HSR() = ARBITRARY : bits(32); SPSR_hyp() = ARBITRARY : bits(32); DLR() = ARBITRARY : bits(32); DSPSR() = ARBITRARY : bits(32); else // Targeting EL2 using AArch64 AArch64_MaybeZeroRegisterUppers(); MaybeZeroSVEUppers(EL2); PSTATE.nRW = '0'; PSTATE.SP = '1'; PSTATE.EL = EL2; if IsFeatureImplemented(FEAT_PAN) && SCTLR_EL2().SPAN == '0' && ELIsInHost(EL0) then PSTATE.PAN = '1'; end; if IsFeatureImplemented(FEAT_UAO) then PSTATE.UAO = '0'; end; ELR_EL2() = ARBITRARY : bits(64); ESR_EL2() = ARBITRARY : bits(64); SPSR_EL2() = ARBITRARY : bits(64); DLR_EL0() = ARBITRARY : bits(64); DSPSR_EL0() = ARBITRARY : bits(64); // SCTLR_EL2.IESB might be ignored in Debug state. if (IsFeatureImplemented(FEAT_IESB) && SCTLR_EL2().IESB == '1' && !ConstrainUnpredictableBool(Unpredictable_IESBinDebug)) then SynchronizeErrors(); end; end; UpdateEDSCRFields(); // Update EDSCR PE state flags 2026-03-12 12:23:09 2025-09_rel_asl1