--- nono/vm/mpu88xx0.cpp	2026/04/29 17:05:33	1.1.1.16
+++ nono/vm/mpu88xx0.cpp	2026/04/29 17:05:38	1.1.1.17
@@ -251,10 +251,10 @@ void
 MPU88xx0Device::ChangeState(uint32 new_state)
 {
 	// new_state (CPU_STATE_*) と
-	// RequestCPUMode() の引数 Syncer::SCHED_CPU_* は
+	// RequestCPUMode() の引数 Syncer::SYNCMODE_CPU_* は
 	// 実は同じ値なのでそのまま渡してよいことにする。
-	static_assert(CPU_STATE_NORMAL == Syncer::SCHED_CPU_NORMAL, "");
-	static_assert(CPU_STATE_STOP   == Syncer::SCHED_CPU_STOP,   "");
+	static_assert(CPU_STATE_NORMAL == Syncer::SYNCMODE_CPU_NORMAL, "");
+	static_assert(CPU_STATE_STOP   == Syncer::SYNCMODE_CPU_STOP,   "");
 
 	if (cpu_state != new_state) {
 		cpu_state = new_state;