Searched refs:TCR_TG1_4K (Results 1 – 2 of 2) sorted by relevance
225 #define TCR_TG1_4K (UL(2) << 30) macro
35 #define TCR_TG_FLAGS TCR_TG0_4K | TCR_TG1_4K