Searched refs:TCR_TG_FLAGS (Results 1 – 1 of 1) sorted by relevance
21 #define TCR_TG_FLAGS TCR_TG0_64K | TCR_TG1_64K macro23 #define TCR_TG_FLAGS TCR_TG0_16K | TCR_TG1_16K macro25 #define TCR_TG_FLAGS TCR_TG0_4K | TCR_TG1_4K macro446 TCR_TG_FLAGS | TCR_KASLR_FLAGS | TCR_ASID16 | \