Symbol: GET_TIMER_VALUE
sys/arch/arm/ixp12x0/ixp12x0_clk.c
279
counter = GET_TIMER_VALUE(ixpclk_sc);
sys/arch/arm/ixp12x0/ixp12x0_clk.c
292
counter = GET_TIMER_VALUE(ixpclk_sc);
sys/arch/arm/xscale/ixp425_timer.c
210
counter = GET_TIMER_VALUE(ixpclk_sc);