Searched refs:TCR_TG1_64K (Results 1 – 3 of 3) sorted by relevance
304 #define TCR_TG1_64K (UL(3) << TCR_TG1_SHIFT) macro
26 #define TCR_TG_FLAGS TCR_TG0_64K | TCR_TG1_64K
207 case TCR_TG1_64K: in setup_s1_walk()