Symbol: FPA3_CLK_COUNT
sys/arch/octeon/octeon/machdep.c
595
ioclock_timecounter.tc_priv = (void *)FPA3_CLK_COUNT;
sys/arch/octeon/octeon/machdep.c
748
clk_reg = FPA3_CLK_COUNT;