Did you mean (for linux):set_ctr_el0
Your search defs:SYS_CTR_EL0 did not match any files. Suggestions: