Searched refs:__cpu_set_tcr_t0sz (Results 1 – 1 of 1) sorted by relevance
71 static inline void __cpu_set_tcr_t0sz(unsigned long t0sz) in __cpu_set_tcr_t0sz() function84 #define cpu_set_default_tcr_t0sz() __cpu_set_tcr_t0sz(TCR_T0SZ(vabits_actual))85 #define cpu_set_idmap_tcr_t0sz() __cpu_set_tcr_t0sz(idmap_t0sz)137 __cpu_set_tcr_t0sz(t0sz); in cpu_install_ttbr0()