l2_tag            135 arch/mips/mm/cerr-sb1.c 	uint64_t l2_tag;
l2_tag            144 arch/mips/mm/cerr-sb1.c 		l2_tag = in64(IOADDR(A_L2_ECC_TAG));
l2_tag            155 arch/mips/mm/cerr-sb1.c 		printk("Last L2 tag w/ bad ECC: %016llx\n", l2_tag);