TCR_KASAN_FLAGS    40 arch/arm64/mm/proc.S #define TCR_KASAN_FLAGS TCR_TBI1
TCR_KASAN_FLAGS    42 arch/arm64/mm/proc.S #define TCR_KASAN_FLAGS 0