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