Did you mean (for trusted-firmware-a):read_ctr_el0
Your search defs:read_cptr_el3 did not match any files. Suggestions:
Completed in 4 milliseconds