Searched refs:__cpu_set_tcr_t0sz (Results 1 – 1 of 1) sorted by relevance
80 static inline void __cpu_set_tcr_t0sz(u64 t0sz) in __cpu_set_tcr_t0sz() function99 __cpu_set_tcr_t0sz(idmap_t0sz); in cpu_set_idmap_tcr_t0sz()107 __cpu_set_tcr_t0sz(TCR_T0SZ(VA_BITS)); in cpu_set_default_tcr_t0sz()