TCSR_TINT         100 arch/microblaze/kernel/timer.c 	write_fn(TCSR_TINT|TCSR_ENIT|TCSR_ENT|TCSR_ARHT|TCSR_UDT,
TCSR_TINT         114 arch/microblaze/kernel/timer.c 	write_fn(TCSR_TINT|TCSR_ENIT|TCSR_ENT|TCSR_ARHT|TCSR_UDT,
TCSR_TINT         247 arch/microblaze/kernel/timer.c 	write_fn(TCSR_TINT|TCSR_ENT|TCSR_ARHT, timer_baseaddr + TCSR1);