Symbol: ffclock_getbintime
sys/sys/timeffc.h
212
void ffclock_getbintime(struct bintime *bt);
sys/sys/timeffc.h
295
ffclock_getbintime(bt);