Searched defs:ttbcr (Results 1 – 3 of 3) 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
1644 u32 cr, ttbcr, tmp; in early_paging_init() local