Searched refs:cpu_get_ttbcr (Results 1 – 3 of 3) sorted by relevance
181 static inline unsigned int cpu_get_ttbcr(void) in cpu_get_ttbcr() function
52 unsigned int old_ttbcr = cpu_get_ttbcr(); in uaccess_save_and_enable()
1693 ttbcr = cpu_get_ttbcr(); in early_paging_init()