Searched defs:ttbcr (Results 1 – 2 of 2) sorted by relevance
183 unsigned int ttbcr; in cpu_get_ttbcr() local188 static inline void cpu_set_ttbcr(unsigned int ttbcr) in cpu_set_ttbcr()
23 u32 ttbcr; member