--- nono/host/hostdevice.cpp	2026/04/29 17:05:55	1.1.1.7
+++ nono/host/hostdevice.cpp	2026/04/29 17:06:02	1.1.1.8
@@ -222,11 +222,8 @@ HostDevice::putlogn(const char *fmt, ...
 	int len;
 
 	uint64 vt = scheduler->GetVirtTime();
-	len = snprintf(buf, sizeof(buf), "%4u.%03u'%03u'%03u %s ",
-		(uint)(vt / 1000 / 1000 / 1000),
-		(uint)((vt / 1000 / 1000) % 1000),
-		(uint)((vt / 1000) % 1000),
-		(uint)(vt % 1000),
+	len = snprintf(buf, sizeof(buf), "%16s %s ",
+		SecToStr(vt).c_str(),
 		GetName().c_str());
 
 	va_start(ap, fmt);