Issue selecting SPx

Hi,

I am having issue where the EL2 timer expires and control goes to EL2t IRQ handler rather than EL2h IRQ handler even though PSTATE SPSel SP = 1 (Use SP_ELx for level ELx ).

Thanks,

More questions in this forum