Searched refs:TCR_TG1_16K (Results 1 – 3 of 3) sorted by relevance
303 #define TCR_TG1_16K (UL(1) << TCR_TG1_SHIFT) macro
28 #define TCR_TG_FLAGS TCR_TG0_16K | TCR_TG1_16K
192 case TCR_TG1_16K: in setup_s1_walk()