Searched refs:cpu_get_ttbcr (Results 1 – 2 of 2) sorted by relevance
181 static inline unsigned int cpu_get_ttbcr(void) in cpu_get_ttbcr() function
1682 ttbcr = cpu_get_ttbcr(); in early_paging_init()