TCR_TG_FLAGS       21 arch/arm64/mm/proc.S #define TCR_TG_FLAGS	TCR_TG0_64K | TCR_TG1_64K
TCR_TG_FLAGS       23 arch/arm64/mm/proc.S #define TCR_TG_FLAGS	TCR_TG0_16K | TCR_TG1_16K
TCR_TG_FLAGS       25 arch/arm64/mm/proc.S #define TCR_TG_FLAGS	TCR_TG0_4K | TCR_TG1_4K