Did you mean (for arm-trusted-firmware-2.8.0):read_mpidr_el1
Your search defs:read_tpidr_el3 did not match any files. Suggestions:
Completed in 3 milliseconds