135 sbintime_getsec(sbintime_t _sbt)  in sbintime_getsec()  argument
138 	return (_sbt >> 32);  in sbintime_getsec()
149 sbttobt(sbintime_t _sbt)  in sbttobt()  argument
153 	_bt.sec = _sbt >> 32;  in sbttobt()
154 	_bt.frac = _sbt << 32;  in sbttobt()
339 sbttots(sbintime_t _sbt)  in sbttots()  argument
343 	_ts.tv_sec = _sbt >> 32;  in sbttots()
344 	_ts.tv_nsec = sbttons((uint32_t)_sbt);  in sbttots()
356 sbttotv(sbintime_t _sbt)  in sbttotv()  argument
360 	_tv.tv_sec = _sbt >> 32;  in sbttotv()
361 	_tv.tv_usec = sbttous((uint32_t)_sbt);  in sbttotv()