TCSR_LOAD          85 arch/microblaze/kernel/timer.c 	write_fn(TCSR_LOAD, timer_baseaddr + TCSR0);
TCSR_LOAD         112 arch/microblaze/kernel/timer.c 	write_fn(TCSR_LOAD, timer_baseaddr + TCSR0);