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,