Symbol: cpu_set_ttbcr