read_tcr1          40 arch/arm/mach-iop32x/time.c 	return 0xffffffffu - read_tcr1();
read_tcr1          56 arch/arm/mach-iop32x/time.c 	return 0xffffffffu - read_tcr1();