Did you mean (for trusted-firmware-a):read_mpidr_el1 read_isr_el1
Your search defs:read_midr_el1 did not match any files. Suggestions:
Completed in 2 milliseconds