Symbol: TIMER4VAL
sys/arch/arm/ep93xx/epclk.c
256
initial_tick = TIMER4VAL();
sys/arch/arm/ep93xx/epclk.c
261
cur_tick = TIMER4VAL();
sys/arch/arm/ep93xx/epclk.c
273
return TIMER4VAL();