tx1_bug            40 arch/arm64/include/asm/mmu.h 	bool tx1_bug;
tx1_bug            65 arch/arm64/include/asm/mmu.h 		tx1_bug = false;
tx1_bug            70 arch/arm64/include/asm/mmu.h 		tx1_bug = is_midr_in_range_list(read_cpuid_id(),
tx1_bug            74 arch/arm64/include/asm/mmu.h 		tx1_bug = __cpus_have_const_cap(ARM64_WORKAROUND_CAVIUM_27456);
tx1_bug            77 arch/arm64/include/asm/mmu.h 	return !tx1_bug && kaslr_offset() > 0;