Did you mean (for trusted-firmware-a-3.4.0):read_ctr_el0 read_hcr_el2 read_isr_el1 read_scr_el3
Your search defs:read_tcr_el1 did not match any files. Suggestions: