Searched refs:cpu_set_ttbcr (Results 1 – 3 of 3) sorted by relevance
188 static inline void cpu_set_ttbcr(unsigned int ttbcr) in cpu_set_ttbcr() function
58 cpu_set_ttbcr(old_ttbcr & ~(TTBCR_A1 | TTBCR_EPD0 | TTBCR_T0SZ_MASK)); in uaccess_save_and_enable()66 cpu_set_ttbcr(flags); in uaccess_restore()
1696 cpu_set_ttbcr(tmp); in early_paging_init()1708 cpu_set_ttbcr(ttbcr); in early_paging_init()