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