Searched refs:TCR_TG1_4K (Results 1 – 2 of 2) sorted by relevance
252 #define TCR_TG1_4K (UL(2) << TCR_TG1_SHIFT) macro
28 #define TCR_TG_FLAGS TCR_TG0_4K | TCR_TG1_4K