Did you mean (for freebsd):tpidr_el1 tpidrro_el0
Your search defs:TPIDR_EL0 did not match any files. Suggestions: