Symbol: IPD_CLK_COUNT
sys/arch/octeon/octeon/machdep.c
598
ioclock_timecounter.tc_priv = (void *)IPD_CLK_COUNT;
sys/arch/octeon/octeon/machdep.c
751
clk_reg = IPD_CLK_COUNT;