Searched refs:__cpu_set_tcr_t0sz (Results 1 – 1 of 1) sorted by relevance
73 static inline void __cpu_set_tcr_t0sz(unsigned long t0sz) in __cpu_set_tcr_t0sz() function86 #define cpu_set_default_tcr_t0sz() __cpu_set_tcr_t0sz(TCR_T0SZ(vabits_actual))87 #define cpu_set_idmap_tcr_t0sz() __cpu_set_tcr_t0sz(idmap_t0sz)144 __cpu_set_tcr_t0sz(t0sz); in cpu_install_ttbr0()