--- nono/vm/xiospace.h	2026/04/29 17:04:28	1.1
+++ nono/vm/xiospace.h	2026/04/29 17:04:33	1.1.1.2
@@ -26,7 +26,7 @@ class XIOSpaceDevice
  private:
 	// アドレス addr に対応する IODevice* を返す。
 	// addr は 24bit マスクされていること。
-	inline IODevice *SearchDevice(uint32 addr)
+	inline IODevice *SearchDevice(uint32 addr) const
 	{
 		uint idx = addr / 8192;
 		__assume(idx < 2048);