TCSR1             244 arch/microblaze/kernel/timer.c 	write_fn(read_fn(timer_baseaddr + TCSR1) & ~TCSR_ENT,
TCSR1             245 arch/microblaze/kernel/timer.c 		 timer_baseaddr + TCSR1);
TCSR1             247 arch/microblaze/kernel/timer.c 	write_fn(TCSR_TINT|TCSR_ENT|TCSR_ARHT, timer_baseaddr + TCSR1);