Searched refs:TCR_TG_FLAGS (Results 1 – 1 of 1) sorted by relevance
26 #define TCR_TG_FLAGS TCR_TG0_64K | TCR_TG1_64K macro28 #define TCR_TG_FLAGS TCR_TG0_16K | TCR_TG1_16K macro30 #define TCR_TG_FLAGS TCR_TG0_4K | TCR_TG1_4K macro431 TCR_TG_FLAGS | TCR_KASLR_FLAGS | TCR_ASID16 | \