--- nono/vm/device.cpp	2026/04/29 17:05:51	1.1.1.13
+++ nono/vm/device.cpp	2026/04/29 17:06:01	1.1.1.14
@@ -73,11 +73,8 @@ Device::putlogn(const char *fmt, ...) co
 	int len;
 
 	vt = scheduler->GetVirtTime();
-	len = snprintf(buf, sizeof(buf), "%4u.%03u'%03u'%03u %08x %s ",
-		(uint)(vt / 1000 / 1000 / 1000),
-		(uint)((vt / 1000 / 1000) % 1000),
-		(uint)((vt / 1000) % 1000),
-		(uint)(vt % 1000),
+	len = snprintf(buf, sizeof(buf), "%16s %08x %s ",
+		SecToStr(vt).c_str(),
 		mpu->GetPPC(),
 		GetName().c_str());