CNTPS_CVAL_EL1 Counter-timer Physical Secure Timer CompareValue Register when EL3 is implemented and FEAT_AA64 is implemented Holds the compare value for the secure physical timer, usually accessible at EL3 but configurably accessible at EL1 in Secure state. Timer CNTPS_CVAL_EL1 is a 64-bit register. CompareValue 63 0 63:0 Holds the secure physical timer CompareValue. When CNTPS_CTL_EL1.ENABLE is 1, and TimerConditionMet is TRUE for the EL1 secure physical timer, the timer condition is met and all of the following are true: CNTPS_CTL_EL1.ISTATUS is set to 1. If CNTPS_CTL_EL1.IMASK is 0, an interrupt is generated. TimerConditionMet is defined by 'Operation of the CompareValue views of the timers'. The CompareValue view of the timer acts like a 64-bit upcounter timer. When CNTPS_CTL_EL1.ENABLE is 0, the timer condition is not met, but CNTPCT_EL0 continues to count. If the Generic counter is implemented at a size less than 64 bits, then this field is permitted to be implemented at the same width as the counter, and the upper bits are RES0. The value of this field is treated as zero-extended in all counter calculations. AU MRS <Xt>, CNTPS_CVAL_EL1 if !(HaveEL(EL3) && IsFeatureImplemented(FEAT_AA64)) then Undefined(); elsif PSTATE.EL == EL0 then Undefined(); elsif PSTATE.EL == EL1 then if HaveEL(EL3) && SCR_EL3().NS == '0' then if HaveEL(EL3) && EL3SDDUndefPriority() && SCR_EL3().ST == '0' then Undefined(); elsif SCR_EL3().EEL2 == '1' then Undefined(); elsif SCR_EL3().ST == '0' then if EL3SDDUndef() then Undefined(); else AArch64_SystemAccessTrap(EL3, 0x18); end; else X{64}(t) = CNTPS_CVAL_EL1(); end; else Undefined(); end; elsif PSTATE.EL == EL2 then Undefined(); elsif PSTATE.EL == EL3 then X{64}(t) = CNTPS_CVAL_EL1(); end; MSR CNTPS_CVAL_EL1, <Xt> if !(HaveEL(EL3) && IsFeatureImplemented(FEAT_AA64)) then Undefined(); elsif PSTATE.EL == EL0 then Undefined(); elsif PSTATE.EL == EL1 then if HaveEL(EL3) && SCR_EL3().NS == '0' then if HaveEL(EL3) && EL3SDDUndefPriority() && SCR_EL3().ST == '0' then Undefined(); elsif SCR_EL3().EEL2 == '1' then Undefined(); elsif SCR_EL3().ST == '0' then if EL3SDDUndef() then Undefined(); else AArch64_SystemAccessTrap(EL3, 0x18); end; else CNTPS_CVAL_EL1() = X{64}(t); end; else Undefined(); end; elsif PSTATE.EL == EL2 then Undefined(); elsif PSTATE.EL == EL3 then CNTPS_CVAL_EL1() = X{64}(t); end; 2026-03-26 20:27:25 2026-03_rel