ALTERA_TIMER_SNAPL_REG   77 arch/nios2/kernel/time.c 	timer_writew(timer, 0, ALTERA_TIMER_SNAPL_REG);
ALTERA_TIMER_SNAPL_REG   79 arch/nios2/kernel/time.c 		timer_readw(timer, ALTERA_TIMER_SNAPL_REG);