// Let the C compiler convert values for either native or compatibility ut_tv fields.

#include <stdint.h>
static inline void latchd_set_utmpx_time(struct utmpx *ut, int64_t sec, int32_t usec) {
	ut->ut_tv.tv_sec  = sec;
	ut->ut_tv.tv_usec = usec;
}