Symbol: ffclock_bintime
sys/sys/timeffc.h
208
void ffclock_bintime(struct bintime *bt);
sys/sys/timeffc.h
265
ffclock_bintime(bt);