Did you mean (for linux):cpu_get_ttbr cpu_set_ttbcr cpu_get_ttbcr
Your search defs:cpu_set_ttbr did not match any files. Suggestions: