Symbol: cpu_get_ttbcr