Searched refs:cpu_set_ttbcr (Results 1 – 2 of 2) sorted by relevance
188 static inline void cpu_set_ttbcr(unsigned int ttbcr) in cpu_set_ttbcr() function
1685 cpu_set_ttbcr(tmp); in early_paging_init()1697 cpu_set_ttbcr(ttbcr); in early_paging_init()