Did you mean (for tf-a-ffa_el3_spmc):read_scr_el3
Your search defs:read_spsr_el3 did not match any files. Suggestions:
Completed in 2 milliseconds