Symbol: ifpga_get_timecount
sys/arch/evbarm/ifpga/ifpga_clock.c
87
static u_int ifpga_get_timecount(struct timecounter *);
sys/arch/evbarm/ifpga/ifpga_clock.c
90
.tc_get_timecount = ifpga_get_timecount,