--- nono/m88xx0/m88200.cpp	2026/04/29 17:05:39	1.1.1.15
+++ nono/m88xx0/m88200.cpp	2026/04/29 17:05:56	1.1.1.17
@@ -11,6 +11,12 @@
 #include "monitor.h"
 #include "mpu88xx0.h"
 
+#if defined(M88200_STAT)
+#define STAT(stmt)	(stmt)++
+#else
+#define STAT(stmt)	/**/
+#endif
+
 // static 変数
 m88200 *m88200::mbus_master = NULL;
 
@@ -33,19 +39,19 @@ m88200::m88200(MPU88xx0Device *parent_,
 	AddAlias(string_format("CMMU%u", id));
 
 	reg_monitor = gMonitorManager->Regist(ID_MONITOR_CMMU(id), this);
-	reg_monitor->func = ToMonitorCallback(&m88200::MonitorUpdateReg);
+	reg_monitor->SetCallback(&m88200::MonitorScreenReg);
 	reg_monitor->SetSize(52, 8);
 
 	atc_monitor = gMonitorManager->Regist(ID_MONITOR_ATC(id), this);
-	atc_monitor->func = ToMonitorCallback(&m88200::MonitorUpdateATC);
+	atc_monitor->SetCallback(&m88200::MonitorScreenATC);
+	uint h = 44;
 #if defined(M88200_STAT)
-	atc_monitor->SetSize(77, 44 + 5);
-#else
-	atc_monitor->SetSize(77, 44);
+	h += 16;
 #endif
+	atc_monitor->SetSize(77, h);
 
 	cache_monitor = gMonitorManager->Regist(ID_SUBWIN_CACHE(id), this);
-	cache_monitor->func = ToMonitorCallback(&m88200::MonitorUpdateCache);
+	cache_monitor->SetCallback(&m88200::MonitorScreenCache);
 	cache_monitor->SetSize(82, 23);
 
 	// ログ表示用の名前
@@ -68,20 +74,12 @@ m88200::Init()
 
 	mainbus = GetMainbusDevice();
 
-	memset(&atc_hash_all[0], 0, atc_hash_all.size());
-	for (auto& b : batc) {
-		b.lba |= BATC_INVALID;
-	}
-	for (auto& p : patc) {
-		p.lpa |= PATC_INVALID;
-	}
-
 	// 暗黙 BATC を初期化
-	SetBATC(8, 0xfff00000, 0xfff00000, BWP_S | BWP_WT | BWP_CI | BWP_V);
-	SetBATC(9, 0xfff80000, 0xfff80000, BWP_S | BWP_WT | BWP_CI | BWP_V);
+	SetBATC(8, 0xfff00000U, 0xfff00000U, BWP_S | BWP_WT | BWP_CI | BWP_V);
+	SetBATC(9, 0xfff80000U, 0xfff80000U, BWP_S | BWP_WT | BWP_CI | BWP_V);
 
 	// セットインデックスを初期化
-	for (int i = 0; i < setarray.size(); i++) {
+	for (uint i = 0; i < setarray.size(); i++) {
 		auto& set = setarray[i];
 		set.setidx = i;
 	}
@@ -93,7 +91,7 @@ m88200::Init()
 void
 m88200::Reset()
 {
-	const uint32 Undefined = 0xcccccccc;
+	const uint32 Undefined = 0xccccccccU;
 
 	// レジスタ (p6-4, Table6-3)
 	// ID, version は別途 Set される。
@@ -113,14 +111,14 @@ m88200::Reset()
 
 // モニター更新 (CMMU レジスタ)
 void
-m88200::MonitorUpdateReg(Monitor *, TextScreen& screen)
+m88200::MonitorScreenReg(Monitor *, TextScreen& screen)
 {
 	uint32 baseaddr;
 	uint32 reg;
 	int x;
 	int y;
 
-	baseaddr = 0xfff00000 + (id << 12);
+	baseaddr = 0xfff00000U + (id << 12);
 
 	screen.Clear();
 	x = 24;
@@ -169,8 +167,8 @@ m88200::MonitorUpdateReg(Monitor *, Text
 
 	screen.Print(0, y++, "$%08x PFAR:%08x", baseaddr + 0x10c, GetPFAR());
 
-	for (int i = 0; i < 2; i++) {
-		int s = 1 - i;
+	for (uint i = 0; i < 2; i++) {
+		uint s = 1 - i;
 		reg = GetAPR(s);
 		screen.Print(0, y, "$%08x %cAPR:%08x", baseaddr + 0x200 + i * 4,
 			s ? 'S' : 'U', reg);
@@ -186,7 +184,7 @@ m88200::MonitorUpdateReg(Monitor *, Text
 
 // モニター更新 (ATC)
 void
-m88200::MonitorUpdateATC(Monitor *, TextScreen& screen)
+m88200::MonitorScreenATC(Monitor *, TextScreen& screen)
 {
 	int x;
 	int y;
@@ -213,7 +211,7 @@ m88200::MonitorUpdateATC(Monitor *, Text
 	x = 0;
 	y = 3;
 	uint64 batc_total = 0;
-	for (int i = 0; i < 10; i++) {
+	for (uint i = 0; i < 10; i++) {
 		if (i == batc.size() / 2) {
 			x = 40;
 			y = 3;
@@ -226,7 +224,7 @@ m88200::MonitorUpdateATC(Monitor *, Text
 
 		const m88200BATC& b = batc[i];
 		if (b.IsValid()) {
-			screen.Print(x + 4, y, "%c:%04x'0000 %04x'0000 %c%c%c%c",
+			screen.Print(x + 4, y, "%c.%04x'0000 %04x'0000 %c%c%c%c",
 				b.IsS() ? 'S' : 'U',
 				b.lba >> 16, b.pba >> 16,
 				(b.stat & DESC_WT) ? 'T' : '-',
@@ -250,7 +248,7 @@ m88200::MonitorUpdateATC(Monitor *, Text
 
 	x = 0;
 	y = 10;
-	for (int i = 0; i < patc.size(); i++) {
+	for (uint i = 0; i < patc.size(); i++) {
 		if (i == patc.size() / 2) {
 			x = 40;
 			y = 10;
@@ -259,7 +257,7 @@ m88200::MonitorUpdateATC(Monitor *, Text
 
 		const m88200PATC& p = patc[i];
 		if (p.IsValid()) {
-			screen.Print(x + 4,  y, "%c:%05x'000 %05x'000 %c%c%c%c%c",
+			screen.Print(x + 4,  y, "%c.%05x'000 %05x'000 %c%c%c%c%c",
 				p.IsS() ? 'S' : 'U',
 				p.lpa >> 12, p.pfa >> 12,
 				(p.stat & DESC_WT) ? 'T' : '-',
@@ -271,9 +269,9 @@ m88200::MonitorUpdateATC(Monitor *, Text
 		y++;
 	}
 
-	x = 49;
 	y++;
 	screen.Puts(0, y++, "<Statistics>");
+	x = 49;
 	screen.Print(0, y++, "Translate            %26s",
 		format_number(translate_total).c_str());
 	screen.Print(0, y, " BATC hit            %26s (",
@@ -302,7 +300,9 @@ m88200::MonitorUpdateATC(Monitor *, Text
 		screen.Print(x, y, "%5.1f%%)",
 			(double)atc_miss / translate_total * 100);
 	}
+	y++;
 #if defined(M88200_STAT)
+	// 開発用の統計情報。
 	y++;
 	screen.Print(0, y++, "PATC create          %26s",
 		format_number(stat_patc_create).c_str());
@@ -314,13 +314,71 @@ m88200::MonitorUpdateATC(Monitor *, Text
 		format_number(stat_patc_invcmd_seg).c_str());
 	screen.Print(0, y++, "PATC SCR InvPage     %26s",
 		format_number(stat_patc_invcmd_page).c_str());
+
+	y++;
+	double v;
+	screen.Print(0, y++, "PATC hash search     %26s",
+		format_number(stat_patc_search).c_str());
+	// ヒット率
+	screen.Print(0, y, "PATC hash hit        %26s (hit/search ",
+		format_number(patc_hit).c_str());
+	if (stat_patc_search == 0) {
+		screen.Puts(60, y, "---.-%)");
+	} else {
+		screen.Print(60, y, "%5.1f%%)",
+			(double)patc_hit / stat_patc_search * 100);
+	}
+	y++;
+	// ミスのうち1回目のハッシュ比較で外れが確定した率
+	screen.Print(0, y, "PATC hash miss 1     %26s (miss1/miss ",
+		format_number(stat_patc_miss1).c_str());
+	v = stat_patc_miss1 + stat_patc_miss2;
+	if (v == 0) {
+		screen.Puts(60, y, "---.-%)");
+	} else {
+		screen.Print(60, y, "%5.1f%%)", (double)stat_patc_miss1 / v * 100);
+	}
+	y++;
+	screen.Print(0, y++, "PATC hash miss 2     %26s",
+		format_number(stat_patc_miss2).c_str());
+
+	screen.Puts(0, y++, "Hash        0   1   2   3   4   5   6   >=7");
+	// BATC ハッシュの衝突状況は BATC 更新時に計算してある
+	// (BATC の更新頻度は低いため)
+	screen.Puts(0, y++, "BATC HASH.S");
+	for (auto n : stat_batc_hash_s) {
+		screen.Print(" %3d", n);
+	}
+	screen.Puts(0, y++, "BATC HASH.U");
+	for (auto n : stat_batc_hash_u) {
+		screen.Print(" %3d", n);
+	}
+	// PATC ハッシュの衝突状況は、表示時に都度計算する
+	// (PATC ハッシュの更新頻度はおそらく表示周期より速いため)
+	auto print_phash = [&](const auto& hash) {
+		std::array<int, 8> st {};
+		for (const auto hashmap : hash) {
+			int n = __builtin_popcount(hashmap);
+			if (n >= st.size()) {
+				n = st.size() - 1;
+			}
+			st[n]++;
+		}
+		for (auto n : st) {
+			screen.Print(" %3d", n);
+		}
+	};
+	screen.Puts(0, y++, "PATC HASH.S");
+	print_phash(patc_hash_s);
+	screen.Puts(0, y++, "PATC HASH.U");
+	print_phash(patc_hash_u);
 #endif
 }
 
 // モニター更新 (キャッシュ、概要と詳細の両方、GUI から呼ばれる)
 // screen.userdata は注目しているセット番号。
 void
-m88200::MonitorUpdateCache(Monitor *, TextScreen& screen)
+m88200::MonitorScreenCache(Monitor *, TextScreen& screen)
 {
 	uint setidx = screen.userdata;
 
@@ -350,14 +408,14 @@ m88200::MonitorCacheSet(TextScreen& s, i
 
 	// ラインの古い順に評価して順序を0-3でつける
 	int Lorder[4];
-	int tmpL = set.L;
-	for (int i = 0; i < 4; i++) {
+	uint tmpL = set.L;
+	for (uint i = 0; i < 4; i++) {
 		int line = m88200CacheSet::TryGetOldestLine(tmpL);
 		Lorder[line] = 3 - i;
 		tmpL = m88200CacheSet::TryUseLine(tmpL, line);
 	}
 
-	for (int line = 0; line < 4; line++, y++) {
+	for (uint line = 0; line < 4; line++, y++) {
 		TA attr;
 		// ステータスによって属性を選択
 		switch (set.vv[line]) {
@@ -366,7 +424,7 @@ m88200::MonitorCacheSet(TextScreen& s, i
 			break;
 		 case m88200CacheSet::Status::EU:
 		 case m88200CacheSet::Status::SU:
-			attr = TA::Off;
+			attr = TA::Normal;
 			break;
 		 case m88200CacheSet::Status::EM:
 			attr = TA::Em;
@@ -384,7 +442,7 @@ m88200::MonitorCacheSet(TextScreen& s, i
 			for (uint w = 0; w < 4; w++) {
 				uint32 addr;
 				uint32 m;
-				addr = (set.tag[line] & 0xfffff000) | (setidx << 4) | (w << 2);
+				addr = (set.tag[line] & 0xfffff000U) | (setidx << 4) | (w << 2);
 				m = (mainbus->Peek1(addr) << 24)
 				  | (mainbus->Peek1(addr + 1) << 16)
 				  | (mainbus->Peek1(addr + 2) <<  8)
@@ -398,7 +456,7 @@ m88200::MonitorCacheSet(TextScreen& s, i
 			}
 		} else {
 			// Unmodified (or Invalid) ならメモリとの比較は不要
-			for (int w = 0; w < 4; w++) {
+			for (uint w = 0; w < 4; w++) {
 				s.Print(20 + w * 9, y, "%08x", set.word[line * 4 + w]);
 			}
 		}
@@ -473,55 +531,55 @@ m88200::commandname[] = {
 	"No Operation",						// $11
 	"No Operation",						// $12
 	"No Operation",						// $13
-	"DCache Invalidate, Line",			// $14
-	"DCache Invalidate, Page",			// $15
-	"DCache Invalidate, Segment",		// $16
-	"DCache Invalidate, All",			// $17
-
-	"DCache Copyback, Line",			// $18
-	"DCache Copyback, Page",			// $19
-	"DCache Copyback, Segment",			// $1a
-	"DCache Copyback, All",				// $1b
-	"DCache Copy&Inv, Line",			// $1c
-	"DCache Copy&Inv, Page",			// $1d
-	"DCache Copy&Inv, Segment",			// $1e
-	"DCache Copy&Inv, All",				// $1f
-
-	"Probe User Address",				// $20
-	"Probe User Address",				// $21
-	"Probe User Address",				// $22
-	"Probe User Address",				// $23
-	"Probe Supervisor Address",			// $24
-	"Probe Supervisor Address",			// $25
-	"Probe Supervisor Address",			// $26
-	"Probe Supervisor Address",			// $27
-
-	"Probe User Address",				// $28
-	"Probe User Address",				// $29
-	"Probe User Address",				// $2a
-	"Probe User Address",				// $2b
-	"Probe Supervisor Address",			// $2c
-	"Probe Supervisor Address",			// $2d
-	"Probe Supervisor Address",			// $2e
-	"Probe Supervisor Address",			// $2f
-
-	"Invalidate U PATC, Line",			// $30
-	"Invalidate U PATC, Page",			// $31
-	"Invalidate U PATC, Segment",		// $32
-	"Invalidate U PATC, All",			// $33
-	"Invalidate S PATC, Line",			// $34
-	"Invalidate S PATC, Page",			// $35
-	"Invalidate S PATC, Segment",		// $36
-	"Invalidate S PATC, All",			// $37
-
-	"Invalidate U PATC, Line",			// $38
-	"Invalidate U PATC, Page",			// $39
-	"Invalidate U PATC, Segment",		// $3a
-	"Invalidate U PATC, All",			// $3b
-	"Invalidate S PATC, Line",			// $3c
-	"Invalidate S PATC, Page",			// $3d
-	"Invalidate S PATC, Segment",		// $3e
-	"Invalidate S PATC, All",			// $3f
+	"Inv DCache Line",					// $14
+	"Inv DCache Page",					// $15
+	"Inv DCache Seg",					// $16
+	"Inv DCache All",					// $17
+
+	"Copyback DCache Line",				// $18
+	"Copyback DCache Page",				// $19
+	"Copyback DCache Seg",				// $1a
+	"Copyback DCache All",				// $1b
+	"Copy&Inv DCache Line",				// $1c
+	"Copy&Inv DCache Page",				// $1d
+	"Copy&Inv DCache Seg",				// $1e
+	"Copy&Inv DCache All",				// $1f
+
+	"Probe.U",							// $20
+	"Probe.U",							// $21
+	"Probe.U",							// $22
+	"Probe.U",							// $23
+	"Probe.S",							// $24
+	"Probe.S",							// $25
+	"Probe.S",							// $26
+	"Probe.S",							// $27
+
+	"Probe.U",							// $28
+	"Probe.U",							// $29
+	"Probe.U",							// $2a
+	"Probe.U",							// $2b
+	"Probe.S",							// $2c
+	"Probe.S",							// $2d
+	"Probe.S",							// $2e
+	"Probe.S",							// $2f
+
+	"InvPATC.U Line",					// $30
+	"InvPATC.U Page",					// $31
+	"InvPATC.U Seg",					// $32
+	"InvPATC.U All",					// $33
+	"InvPATC.S Line",					// $34
+	"InvPATC.S Page",					// $35
+	"InvPATC.S Seg",					// $36
+	"InvPATC.S All",					// $37
+
+	"InvPATC.U Line",					// $38
+	"InvPATC.U Page",					// $39
+	"InvPATC.U Seg",					// $3a
+	"InvPATC.U All",					// $3b
+	"InvPATC.S Line",					// $3c
+	"InvPATC.S Page",					// $3d
+	"InvPATC.S Seg",					// $3e
+	"InvPATC.S All",					// $3f
 };
 
 // SCR の読み出し
@@ -550,20 +608,32 @@ m88200::SetSCR(uint32 data)
 	// %11'X0gg Invalidate User PATC Descriptors
 	// %11'X1gg Invalidate Supervisor PATC Descriptors
 
-	const char *name;
-	if (command < 0x10) {
-		name = commandname[0];
-	} else {
-		name = commandname[command - 0x10];
+	if (__predict_false(loglevel >= 1)) {
+		char sarbuf[16];
+		const char *name;
+		if (command < 0x10) {
+			name = commandname[0];
+		} else {
+			name = commandname[command - 0x10];
+		}
+
+		// ログレベル1ならまとめて表示。
+		if (loglevel == 1) {
+			snprintf(sarbuf, sizeof(sarbuf), " SAR=$%08x", GetSAR());
+		} else {
+			sarbuf[0] = '\0';
+		}
+
+		putlogn("SCR  <- $%0*x (%s)%s",
+			(data > 0x3f ? 8 : 2), data, name, sarbuf);
 	}
-	putlog(1, "SCR  <- $%08x (%s)", data, name);
 
 	switch (command) {
 	 case 0x00 ... 0x13:	// No Operation
 		return;
 
 	 case 0x14 ... 0x1f:	// Flush Data Cache
-		FlushCache();
+		FlushCacheCmd();
 		return;
 
 	 case 0x20 ... 0x23:	// Probe User Address
@@ -577,7 +647,7 @@ m88200::SetSCR(uint32 data)
 		return;
 
 	 case 0x30 ... 0x3f:	// Invalidate {User,Supervisor} PATC Descriptors
-		InvalidatePATC();
+		InvalidatePATCCmd();
 		return;
 	}
 	PANIC("should not reach: command=$%02x", command);
@@ -587,11 +657,11 @@ m88200::SetSCR(uint32 data)
 // command が $14..$1f でのみ呼ぶこと。
 // p3-18, Section 3.7
 void
-m88200::FlushCache()
+m88200::FlushCacheCmd()
 {
 	uint32 op = command & 0x3c;
 	uint32 gg = command & 0x03;
-	uint32 addr = GetSAR();
+	uint32 addr;
 	bool copyback;
 	bool invalidate;
 
@@ -603,62 +673,42 @@ m88200::FlushCache()
 	// %01'11gg true     true       | Data Cache Copyback and invalidate
 
 	// op によって書き戻しと無効化の組み合わせが異なる
-	if (op == 0x14) {
-		copyback   = false;
-		invalidate = true;
-	} else if (op == 0x18) {
-		copyback   = true;
-		invalidate = false;
-	} else {
-		copyback   = true;
-		invalidate = true;
-	}
+	invalidate = (bool)(op & 0x04);
+	copyback   = (bool)(op & 0x08);
 
 	// 影響範囲
+	addr = GetSAR();
 	switch (gg) {
 	 case GG_LINE:
-		addr &= 0xfffffff0;
-		parent->AddCycle(1);	// Table.6-1
+		addr &= 0xfffffff0U;
 		break;
 	 case GG_PAGE:
-		addr &= 0xfffff000;
-		parent->AddCycle(256);	// Table.6-1
+		addr &= 0xfffff000U;
 		break;
 	 case GG_SEG:
-		addr &= 0xffc00000;
-		parent->AddCycle(1024);	// Table.6-1
+		addr &= 0xffc00000U;
 		break;
 	 case GG_ALL:
-		parent->AddCycle(1024);	// Table.6-1
 		break;
 	 default:
 		__unreachable();
 	}
 
-	// サイクル(基本部分) Table.6-1
+	// サイクル数のうち固定費部分 (Table.6-1)。
+	// Copyback&Invalidate の場合どうなるのか不明だが、
+	// とりあえず悪い方に見積もって単純加算しておくか。
 	uint32 cycle = 0;
 	if (invalidate) {
-		switch (gg) {
-		 case GG_LINE:	cycle = 1;		break;
-		 case GG_PAGE:	cycle = 256;	break;
-		 case GG_SEG:	cycle = 1024;	break;
-		 case GG_ALL:	cycle = 256;	break;
-		 default:	__unreachable();
-		}
+		static uint32 invalidate_cycles[4] = { 1, 256, 1024, 256 };
+		cycle += invalidate_cycles[gg];
 	}
 	if (copyback) {
-		switch (gg) {
-		 case GG_LINE:	cycle = 1;		break;
-		 case GG_PAGE:	cycle = 256;	break;
-		 case GG_SEG:	cycle = 1024;	break;
-		 case GG_ALL:	cycle = 1024;	break;
-		 default:	__unreachable();
-		}
+		static uint32 copyback_cycles[4] = { 1, 256, 1024, 1024 };
+		cycle += copyback_cycles[gg];
 	}
-	// XXX ループ中のサイクル数は正しくないかも。よく分からん
 
 	for (auto& set : setarray) {
-		for (int line = 0; line < 4; line++) {
+		for (uint line = 0; line < 4; line++) {
 			// 条件にマッチするか
 			bool match;
 			switch (gg) {
@@ -669,7 +719,7 @@ m88200::FlushCache()
 				match = (addr == set.tag[line]);
 				break;
 			 case GG_SEG:
-				match = (addr == (set.tag[line] & 0xffc00001));
+				match = (addr == (set.tag[line] & 0xffc00001U));
 				break;
 			 case GG_ALL:
 				match = true;
@@ -682,15 +732,17 @@ m88200::FlushCache()
 
 			// Copyback ならまず EM なエントリを書き戻す。
 			if (copyback) {
+				// 本文には見当たらないが Fig.3-10、Fig.3-11 の状態遷移図を
+				// 見ると、Unmodified なら変化なし、EM なら EU に移行するはず。
 				if (set.vv[line] == m88200CacheSet::EM) {
 					cycle += 7;	// Table.6-1
 					CopyBackLine(set, line);
+					set.Update(line, m88200CacheSet::EU);
 				}
 			}
 
 			// Invalidate なら無効化する
 			if (invalidate) {
-				cycle += 1;	// Table.6-1
 				set.Update(line, m88200CacheSet::IV);
 			}
 		}
@@ -699,58 +751,53 @@ m88200::FlushCache()
 	parent->AddCycle(cycle);
 }
 
-// issuper, addr から atc_hash_all[] のインデックスを返す。
-// (_all でないほうのインデックスは (laddr >> 12) だけなので用意しない)
-inline uint32
-m88200::addr2hash(bool issuper, uint32 addr) const
-{
-	uint64 la = (issuper ? 0x1'00000000ULL : 0) | addr;
-	return la >> 12;
-}
-
 // command に応じて PATC を無効化する。SetSCR() の下請け。
 // command が $30..$3f で呼ぶこと。
 // p2-9, Section 2.2.4
 void
-m88200::InvalidatePATC()
+m88200::InvalidatePATCCmd()
 {
 	uint32 gg = command & 0x03;
 	bool s = (command & 0x04);
+	uint32 addr;
+	uint32 mask;
 
 	if (__predict_true(gg == GG_PAGE)) {
 		// 指定の1本だけ無効にする。
 		// Page は呼び出し回数が多いのと1本だけならハッシュで引けるので別対応。
-#if defined(M88200_STAT)
-		stat_patc_invcmd_page++;
-#endif
+		STAT(stat_patc_invcmd_page);
+
+		// ゲスト側が指定した端数部分は有効部分でマスクする。
+		// 内部では下位ビットはフラグ扱いなのでマスクしないと誤動作する。
+		addr = GetSAR() & 0xfffff000U;
+		addr |= (s) ? PATC_S : 0;
 
-		uint32 la = addr2hash(s, GetSAR());
-		uint8 n = atc_hash_all[la];
+		auto& hash = (s) ? patc_hash_s : patc_hash_u;
+		uint64 pi = hash[patc_hash_func(addr)];
 
-		if (__predict_true((int8)n > 0)) {
-			// PATC#(n-1)
-			n--;
-			putlog(4, "Invalidate PATCEntry from GG_PAGE n=%u", n);
-			InvalidatePATCEntry(patc[n]);
-			// 1本ヒットすればこれ以上一致することはないはず
+		for (; pi; pi &= pi - 1) {
+			int i = __builtin_ctzll(pi);
+			m88200PATC& p = patc[i];
+			if (p.lpa == addr) {
+				p.lpa |= PATC_INVALID;
+				InvalidatePATCHash(i);
+				patc_free |= 1ULL << i;
+				STAT(stat_patc_invalidate);
+				// 1本ヒットすればこれ以上一致することはないはず。
+				break;
+			}
 		}
 	} else {
 		// 指定範囲を無効にする。All と Segment はマスクが違うだけ。
-		uint32 addr;
-		uint32 mask;
 
 		if (gg == GG_ALL) {
 			// S/U 指定したほう全体を無効にする
-#if defined(M88200_STAT)
-			stat_patc_invcmd_all++;
-#endif
+			STAT(stat_patc_invcmd_all);
 			mask = 0;
 		} else if (gg == GG_SEG) {
 			// S/U 指定したほうの指定セグメント範囲全部を無効にする
-#if defined(M88200_STAT)
-			stat_patc_invcmd_seg++;
-#endif
-			mask = 0xffc00000;
+			STAT(stat_patc_invcmd_seg);
+			mask = 0xffc00000U;
 		} else {
 			// GG_LINE はマニュアルにどうなるか書いてない
 			putlog(0, "Undefined Invalidate PATC Line");
@@ -762,13 +809,15 @@ m88200::InvalidatePATC()
 
 		mask |= PATC_S | PATC_INVALID;
 
-		for (int i = 0; i < patc.size(); i++) {
+		for (uint i = 0; i < patc.size(); i++) {
 			m88200PATC& p = patc[i];
 			if ((p.lpa & mask) == addr) {
 				// 無効化
 				// XXX 削除した結果穴が空いても詰める処理は未実装
-				putlog(4, "Invalidate PATCEntry from GG_* n=%u", i);
-				InvalidatePATCEntry(p);
+				p.lpa |= PATC_INVALID;
+				InvalidatePATCHash(i);
+				patc_free |= 1ULL << i;
+				STAT(stat_patc_invalidate);
 			}
 		}
 	}
@@ -784,14 +833,14 @@ m88200::SetSCTR(uint32 data)
 	// どの CMMU の SCTR への書き込みでも毎回全ての CMMU を書き換える。
 	std::array<m88200*, 8> cmmu {};
 	uint n = cmmu.size();
-	for (int i = 0; i < n; i++) {
+	for (uint i = 0; i < n; i++) {
 		cmmu[i] = gMainApp.FindObject<m88200>(OBJ_M88200(i));
 	}
-	for (int i = 0; i < n; i++) {
+	for (uint i = 0; i < n; i++) {
 		if (cmmu[i] == NULL)
 			continue;
 		cmmu[i]->other_cmmu.clear();
-		for (int j = 0; j < n; j++) {
+		for (uint j = 0; j < n; j++) {
 			if (cmmu[j] == NULL || i == j)
 				continue;
 			if ((cmmu[j]->sctr & SCTR_SE)) {
@@ -871,14 +920,7 @@ m88200::SetBWP(uint bn, uint32 data)
 	// XXX 要実機検証…
 
 	// とりあえず暗黙 BATC (#8, #9) と衝突する設定は無視しておく。
-	if (laddr >= 0xfff00000) {
-		return;
-	}
-
-	// それ以外の BATC (#0-#7) と衝突する設定は先着優先としておく。
-	uint32 la = addr2hash((flags & BWP_S), laddr);
-	uint8 n = atc_hash_all[la];
-	if (n != 0 && ~n != bn) {
+	if (laddr >= 0xfff00000U) {
 		return;
 	}
 
@@ -906,25 +948,6 @@ m88200::SetBATC(uint n, uint32 laddr, ui
 	// stat | 0      0  | WT | SP | G  | CI | 0  | M  | U  | WP | 0  | V  |
 	//      +----..-----+----+----+----+----+----+----+----+----+----+----+
 
-	// 更新前の BATC が有効なら、BATC を書き換える前にハッシュをクリア。
-	if (b.IsValid()) {
-		uint32 la = addr2hash(b.IsS(), b.lba);
-		memset(&atc_hash_all[la], 0, 128);
-
-		// BATC が消えたことによってここを指していた PATC が見えるように
-		// なったら、復活させる。
-		for (int i = 0; i < patc.size(); i++) {
-			const auto& p = patc[i];
-			if (p.IsValid() &&
-			    p.IsS() == b.IsS() &&
-			    (p.lpa & m88200BATC::LBAMASK) == b.Laddr())
-			{
-				la = addr2hash(p.IsS(), p.lpa);
-				atc_hash_all[la] = i + 1;
-			}
-		}
-	}
-
 	memset(&b, 0, sizeof(b));
 	b.lba  = laddr;
 	b.lba |= (flags & BWP_S);
@@ -943,21 +966,48 @@ m88200::SetBATC(uint n, uint32 laddr, ui
 		b.wp = true;
 	}
 
-	// 更新後の BATC が有効なら、ハッシュもセット。
-	if (b.IsValid()) {
-		uint32 la = addr2hash(b.IsS(), b.lba);
-		// この領域に PATC があれば追い出す。
-		for (int i = la; i < la + 128; i++) {
-			uint8 pn = atc_hash_all[i];
-			if ((int8)pn > 0) {
-				pn--;
-				putlog(4, "Invalidate PATCEntry from SetBATC(%u) n=%u", n, pn);
-				InvalidatePATCEntry(patc[pn]);
+	MakeBATCHash();
+}
+
+// BATC ハッシュを作り直す。
+void
+m88200::MakeBATCHash()
+{
+	std::fill(batc_hash_s.begin(), batc_hash_s.end(), 0);
+	std::fill(batc_hash_u.begin(), batc_hash_u.end(), 0);
+
+	for (uint i = 0; i < batc.size(); i++) {
+		m88200BATC& b = batc[i];
+
+		if (b.IsValid()) {
+			// LBA の下位 8 ビットだけでハッシュを作る。
+			uint32 hashkey = batc_hash_func(b.lba);
+
+			// S によって該当するハッシュの該当するビットを立てておく。
+			if (b.IsS()) {
+				batc_hash_s[hashkey] |= 1U << i;
+			} else {
+				batc_hash_u[hashkey] |= 1U << i;
 			}
 		}
-		memset(&atc_hash_all[la], ~n, 128);
 	}
-	//DumpATC();
+
+#if defined(M88200_STAT)
+	// ハッシュの各要素が何個の衝突を持つか。
+	// (2以上が極力現れないことが望ましい)
+	auto counting = [](auto& stat, const auto& hash) {
+		std::fill(stat.begin(), stat.end(), 0);
+		for (const auto hashmap : hash) {
+			int n = __builtin_popcount(hashmap);
+			if (n >= stat.size()) {
+				n = stat.size() - 1;
+			}
+			stat[n]++;
+		}
+	};
+	counting(stat_batc_hash_s, batc_hash_s);
+	counting(stat_batc_hash_u, batc_hash_u);
+#endif
 }
 
 // CSSP レジスタの読み出し
@@ -1011,11 +1061,13 @@ m88200::SetSuper(bool super)
 	if (super) {
 		acc_super = BusAddr::S;
 		acc_apr = &sapr;
-		atc_hash = &atc_hash_all[0x10'0000];
+		batc_hash = &batc_hash_s[0];
+		patc_hash = &patc_hash_s[0];
 	} else {
 		acc_super = BusAddr::U;
 		acc_apr = &uapr;
-		atc_hash = &atc_hash_all[0];
+		batc_hash = &batc_hash_u[0];
+		patc_hash = &patc_hash_u[0];
 	}
 }
 
@@ -1025,64 +1077,74 @@ m88200::SetSuper(bool super)
 //
 
 // MBus から読み込みを行う。
-// paddr は size によって 1, 2, 4 バイト境界に整列していること。
-// バスエラーなら呼び出し側で SetFault(FAULT_CODE_BUSERR, paddr) を呼ぶこと。
+// paddr はアドレス、サイズ、S/U ビットのみを参照する。
+// paddr のアドレスはそのサイズによって 1, 2, 4 バイト境界に整列していること。
+// バスエラーなら SetFault() して BusData::BusErr を返す。
 busdata
-m88200::MBusRead(uint32 paddr, int size)
+m88200::MBusRead(busaddr paddr)
 {
-	busaddr baddr = busaddr(paddr) | acc_super | busaddr::Size(size);
 	busdata bd;
 
 	// m88k システムに接続しているデバイスはすべて、m68030 システムでいう
 	// ところのロングワードポートデバイスなので応答は常に 4 バイト分ある。
-	bd = mainbus->Read(baddr);
+	bd = mainbus->Read(paddr);
+	parent->AddWait(bd.GetWait());
+	if (__predict_false(bd.IsBusErr())) {
+		SetFault(FAULT_CODE_BUSERR, paddr.Addr());
+		return bd;
+	}
 
+	uint size = paddr.GetSize();
 	if (size == 4) {
 	} else if (size == 2) {
-		if ((paddr & 2) == 0) {
+		if ((paddr.Addr() & 2) == 0) {
 			bd >>= 16;
 		} else {
 			bd &= 0xffff;
 		}
 	} else {
-		bd >>= (3 - (paddr & 3)) * 8;
+		bd >>= (3 - (paddr.Addr() & 3)) * 8;
 		bd &= 0xff;
 	}
 
-	parent->AddWait(bd.GetWait());
 	return bd;
 }
 
 // MBus に書き込みを行う。
-// paddr は size によって 1, 2, 4 バイト境界に整列していること。
-// バスエラーなら呼び出し側で SetFault(FAULT_CODE_BUSERR, paddr) を呼ぶこと。
+// paddr はアドレス、サイズ、S/U ビットのみを参照する。
+// paddr のアドレスはそのサイズによって 1, 2, 4 バイト境界に整列していること。
+// バスエラーなら SetFault() して BusData::BusErr を返す。
 busdata
-m88200::MBusWrite(uint32 paddr, uint32 data, int size)
+m88200::MBusWrite(busaddr paddr, uint32 data)
 {
-	busaddr baddr = busaddr(paddr) | acc_super | busaddr::Size(size);
 	busdata bd;
 
-	bd = mainbus->Write(baddr, data);
+	bd = mainbus->Write(paddr, data);
 	parent->AddWait(bd.GetWait());
+	if (__predict_false(bd.IsBusErr())) {
+		SetFault(FAULT_CODE_BUSERR, paddr.Addr());
+	}
 	return bd;
 }
 
 // MBus に xmem トランザクションを行う。
-// paddr は size によって 1, 4 バイト境界に整列していること (2バイトはない)。
+// paddr はアドレス、サイズ、S/U ビットのみを参照する。
+// paddr のアドレスはそのサイズによって 1, 4 バイト境界に整列していること
+// (2バイトはない)。
 // MBus Acquire された状態で呼び出すこと。
 // 成功すれば読み込めた値を返す。
-// バスエラーなら呼び出し側で SetFault(FAULT_CODE_BUSERR, paddr) を呼ぶこと。
+// バスエラーなら SetFault() して BusData::BusErr を返す。
 // read/write どちらでエラーが起きたかは acc_read で判別できる。
 // p3-13, Figure3-7 の下半分のメインラインあたりに該当。
 busdata
-m88200::MBusXmem(uint32 paddr, uint32 data, int size)
+m88200::MBusXmem(busaddr paddr, uint32 data)
 {
 	busdata fetched;
 	busdata bd;
 
 	// Read data with intent to modify
 	acc_read = true;
-	bd = MBusRead(paddr, size);
+	bd = MBusRead(paddr);
 	parent->AddWait(bd.GetWait());
 	if (__predict_false(bd.IsBusErr())) {
 		return bd;
@@ -1094,7 +1156,7 @@ m88200::MBusXmem(uint32 paddr, uint32 da
 
 	// Write data to memory
 	acc_read = false;
-	bd = MBusWrite(paddr, data, size);
+	bd = MBusWrite(paddr, data);
 	parent->AddWait(bd.GetWait());
 	if (__predict_false(bd.IsBusErr())) {
 		return bd;
@@ -1107,160 +1169,92 @@ m88200::MBusXmem(uint32 paddr, uint32 da
 // アクセス関数
 //
 
-template <uint size> uint64
+template <uint size> busdata
 m88200::load(uint32 addr)
 {
-	uint64 data;
-
 	acc_laddr = addr;
 	acc_read  = true;
 	if (__predict_false(Translate() == false)) {
-		putlog(2, "Translation BusError %c:$%08x",
+		putlog(2, "Translation BusError %c.$%08x",
 			(IsSuper() ? 'S' : 'U'), acc_laddr);
-		return (uint64)-1;
+		return BusData::BusErr;
 	}
-	if (__predict_false((acc_stat & DESC_CI))) {
-		parent->AddCycle(7);	// Table.6-2
-		MBusAcquire();
-		MBusMakeSnoop(acc_paddrH, 0);
-		uint32 paddr = acc_paddrH + acc_paddrL;
-		busdata bd = MBusRead(paddr, size);
-		MBusRelease();
-		if (__predict_false(bd.IsBusErr())) {
-			putlog(2, "MBus BusError %c:$%08x",
-				(IsSuper() ? 'S' : 'U'), acc_laddr);
-			SetFault(FAULT_CODE_BUSERR, paddr);
-			return (uint64)-1;
-		}
-		return bd.Data();
-	} else {
-		data = CacheRead(acc_paddrH);
-		if (__predict_false((int64)data < 0)) {
-			putlog(2, "Cache BusError %c:$%08x",
-				(IsSuper() ? 'S' : 'U'), acc_laddr);
-			return data;
-		}
 
-		if (size == 1) {
-			switch (acc_paddrL) {
-			 case 0:
-				return (data >> 24);
-			 case 1:
-				return (data >> 16) & 0xff;
-			 case 2:
-				return (data >>  8) & 0xff;
-			 case 3:
-				return data & 0xff;
-			 default:
-				PANIC("corrupted acc_paddrL=%u", acc_paddrL);
-			}
-		} else if (size == 2) {
-			if (acc_paddrL == 0) {
-				return data >> 16;
-			} else {
-				return data & 0xffff;
-			}
-		} else if (size == 4) {
-			return data;
-		} else {
-			PANIC("bits must be 8, 16, 32");
-		}
-	}
+	busaddr baddr = busaddr(acc_paddr) | acc_super | busaddr::Size(size);
+	busdata bd = PhysRead(baddr, acc_stat);
+	return bd;
 }
 
-uint64
+busdata
 m88200::load_1(uint32 addr)
 {
 	return load<1>(addr);
 }
 
-uint64
+busdata
 m88200::load_2(uint32 addr)
 {
 	return load<2>(addr);
 }
 
-uint64
+busdata
 m88200::load_4(uint32 addr)
 {
 	return load<4>(addr);
 }
 
-template <uint size> uint64
+template <uint size> busdata
 m88200::store(uint32 addr, uint32 data)
 {
 	acc_laddr = addr;
 	acc_read  = false;
 	if (__predict_false(Translate() == false)) {
-		return (uint64)-1;
-	}
-	uint32 paddr = acc_paddrH + acc_paddrL;
-	if (__predict_false((acc_stat & DESC_CI))) {
-		parent->AddCycle(7);	// Table.6-2
-		MBusAcquire();
-		MBusMakeSnoop(acc_paddrH, 1);
-		busdata bd = MBusWrite(paddr, data, size);
-		MBusRelease();
-		if (__predict_false(bd.IsBusErr())) {
-			SetFault(FAULT_CODE_BUSERR, paddr);
-			return (uint64)-1;
-		}
-		return 0;
-	} else {
-		return CacheWrite(paddr, data, size);
+		return BusData::BusErr;
 	}
+
+	busaddr baddr = busaddr(acc_paddr) | acc_super | busaddr::Size(size);
+	busdata r = PhysWrite(baddr, data, acc_stat);
+	return r;
 }
 
-uint64
+busdata
 m88200::store_1(uint32 addr, uint32 data)
 {
 	return store<1>(addr, data);
 }
 
-uint64
+busdata
 m88200::store_2(uint32 addr, uint32 data)
 {
 	return store<2>(addr, data);
 }
 
-uint64
+busdata
 m88200::store_4(uint32 addr, uint32 data)
 {
 	return store<4>(addr, data);
 }
 
-template <uint size> uint64
+template <uint size> busdata
 m88200::xmem(uint32 addr, uint32 data)
 {
 	acc_laddr = addr;
 	acc_read  = false;
 	if (__predict_false(Translate() == false)) {
-		return (uint64)-1;
-	}
-	uint32 paddr = acc_paddrH + acc_paddrL;
-	if (__predict_false((acc_stat & DESC_CI))) {
-		// XXX キャッシュ禁止領域だとどうなる?
-		MBusAcquire();
-		MBusMakeSnoop(acc_paddrH, 1);
-		busdata bd = MBusXmem(paddr, data, size);
-		MBusRelease();
-		if (__predict_false(bd.IsBusErr())) {
-			SetFault(FAULT_CODE_BUSERR, paddr);
-			return (uint64)-1;
-		}
-		return bd.Data();
-	} else {
-		return CacheXmem(paddr, data, size);
+		return BusData::BusErr;
 	}
+
+	busdata bd = CacheXmem(acc_paddr, data, size);
+	return bd;
 }
 
-uint64
+busdata
 m88200::xmem_1(uint32 addr, uint32 data)
 {
 	return xmem<1>(addr, data);
 }
 
-uint64
+busdata
 m88200::xmem_4(uint32 addr, uint32 data)
 {
 	return xmem<4>(addr, data);
@@ -1295,64 +1289,35 @@ m88200::stat2str(uint32 stat)
 	return buf.substr(1);
 }
 
-// ATC ハッシュを表示。
-void
-m88200::DumpATC()
-{
-	uint8 zero[16] {};
-
-	printf("DumpATC(#%u)\n", id);
-	for (uint i = 0; i < atc_hash_all.size(); i += 16) {
-		const uint8 *a = &atc_hash_all[i];
-		if (memcmp(a, zero, 16) != 0) {
-			printf("#%u %c.%08x:", id, ((i >> 20) ? 'S' : 'U'), i << 12);
-
-			for (int j = 0; j < 16; j++) {
-				uint8 n = a[j];
-				if (__predict_true(n == 0)) {
-					printf("   ");
-				} else if (__predict_false((int8)n < 0)) {
-					printf("~%u ", (uint)(uint8)~n);
-				} else {
-					printf("%-2u ", n - 1);
-				}
-			}
-			printf("\n");
-		}
-	}
-}
-
 // アドレス変換。
 // 事前に acc_laddr, acc_super, acc_read を設定しておくこと。
-// 成功すれば acc_paddrH, acc_paddrL をセットして true を返す。
-// 失敗ならいろいろセットして(?) false を返す。
+// 成功すれば acc_paddr, acc_stat をセットして true を返す。
+// 失敗なら SetFault() して false を返す。
 // p2-3, Figure2-1
 bool
 m88200::Translate()
 {
 	uint32 la;
 	uint8 n;
+	uint32 bi;
 
 	// Logical address(LA) presented on PBus
 
-	putlog(3, "Translate %c:$%08x", (IsSuper() ? 'S' : 'U'), acc_laddr);
-
-	// 下位2ビットは常にこうなる。
-	acc_paddrL = acc_laddr & 3;
+	putlog(3, "Translate %c.$%08x", (IsSuper() ? 'S' : 'U'), acc_laddr);
 
 	// Select Area Descriptor
 	if (SelectAreaDesc() == false) {
 		// 変換しない場合でも暗黙 BWP は有効…。
 		// マッチまではここで独自に行い、マッチしたら下の BWP へ合流。
-		if (__predict_false(acc_laddr >= 0xfff00000) && IsSuper()) {
-			n = (acc_laddr < 0xfff80000) ? 8 : 9;
+		if (__predict_false(acc_laddr >= 0xfff00000U) && IsSuper()) {
+			n = (acc_laddr < 0xfff80000U) ? 8 : 9;
 			goto batc;
 		}
 
 		// XXX 図のこれはたぶん間違いだよなあ…
 		// 誤: Physical Address <= LA[18-2] :: 00
 		// 正: Physical Address <= LA[31-2] :: 00
-		acc_paddrH = acc_laddr - acc_paddrL;
+		acc_paddr = acc_laddr;
 
 		parent->AddCycle(1);
 		return true;
@@ -1363,120 +1328,154 @@ m88200::Translate()
 
 	// type == Valid ここから
 
-	// 論理アドレスで現在の S/U のハッシュを引く。
-	// 実際にはまず BATC を引いて、なければ次に PATC を引くのだが、
-	// BATC と PATC が同じアドレスを指すことはなく、BATC が同じところを
-	// 指すような指定は (出来るけど結果不定とマニュアルに書いてあるので)
-	// 起きないものとすると、アドレスと BATC もしくは PATC は 1:1 で
-	// マッピング出来るので、この全域を一回で検索する。
-	la = acc_laddr >> 12;
- try_again:
-	n = atc_hash[la];
-	acc_patc = NULL;
+	// Search BATC first
 
-	if (n == 0) {
-		// BATC, PATC どちらにも載ってない。
-		atc_miss++;
-		// patc_miss に合流する
-	} else if ((int8)n < 0) {
-		// BATC #(~n) でヒットした。
-		// n=0xff が BATC#0 を、n=0xf6 が BATC#9 を示す。
-		n = ~n;
- batc:
-		m88200BATC& b = batc[n];
-		assert(b.IsValid());
-		putlog(4, " BATC[%u] hit", n);
-		batc_hit[n]++;
-		if (b.wp && acc_IsWrite()) {
-			goto write_violation;
-		}
+	// まずざっくりハッシュを引く。
+	bi = batc_hash[batc_hash_func(acc_laddr)];
 
-		// Physical Address <= PBA :: LA[18-2] :: 00
-		acc_paddrH = b.pba | (acc_laddr & 0x0007fffc);
-		acc_stat |= b.stat;
-		putlog(4, " BATC hit acc=%s paddr=$%08x",
-			stat2str(acc_stat).c_str(), acc_paddrH);
+	if (__predict_false(bi != 0)) {
+		// ハッシュで一部がヒットしたので、
+		// 次に LBA + S 全体との完全一致で探す。
+		la = acc_laddr & 0xfff80000U;
+		la |= IsSuper() ? BATC_S : 0;
+
+		do {
+			n = __builtin_ctz(bi);
+			if (batc[n].lba == la) {
+				// 無変換時に暗黙 BATC にヒットしたのはカウントしない。
+				// ここは変換の何割が BATC にヒットしたかを知りたいので。
+				batc_hit[n]++;
+ batc:
+				m88200BATC& b = batc[n];
+				putlog(4, " BATC[%d] hit", n);
+				if (b.wp && acc_IsWrite()) {
+					goto write_violation;
+				}
 
-		parent->AddCycle(1);
-		return true;
-	} else {
-		// PATC #(n-1) でヒットした。
-		// n=1 が PATC#0 を、n=56 が PATC#55 を示す。
-		n--;
-		m88200PATC& p = patc[n];
-		assert(p.IsValid());
-		patc_hit++;
-
-		if (acc_IsWrite() && p.wp) {
-			putlog(4, " PATC[%u] hit; stat=%s m=%u wp=%u", n,
-				stat2str(p.stat).c_str(), p.m, p.wp);
-			goto write_violation;
-		}
-		if (acc_IsWrite() && p.m == false) {
-			// Update M bit
-			// フローチャートでは PATC[M] はこの後のテーブルサーチ中
-			// の Update Page Descriptor 処理中で更新するように書いて
-			// あるように読めるのだが、その通りに実装すると、メモリ
-			// 上の Page Descriptor に最初から M ビットが立っていると
-			// (というか OpenBSD カーネルが用意した Page Descriptor
-			// には立っているので) PATC[M] の更新も行われず、PATC[M]
-			// が立っていないので再びここに来てしまい無限ループになる。
-			// 誰が間違ってるのか分からないけど、とりあえずここで
-			// PATC[M] を立てれば問題は起きない。
-			putlog(4, " PATC[%u] hit; Need to update M bit", n);
-			p.m = true;
+				// Physical Address <= PBA :: LA[18-2] :: 00
+				acc_paddr = b.pba | (acc_laddr & 0x0007ffffU);
+				acc_stat |= b.stat;
+				putlog(4, " BATC hit acc=%s paddr=$%08x",
+					stat2str(acc_stat).c_str(), acc_paddr);
 
-			// この下の PATC miss に合流する
-			acc_patc = &p;
+				parent->AddCycle(1);
+				return true;
+			}
+			// ヒットしたビットを 0 にする。
+			bi &= bi - 1;
+		} while (bi);
+	}
+	// 見付からなかったので PATC へ。
+
+	// 2回しかループしないはず。
+	for (uint loop = 0; loop < 3; loop++) {
+		// BATC miss, search PATC then
+		acc_patc = NULL;
+
+		uint64 pi = patc_hash[patc_hash_func(acc_laddr)];
+		STAT(stat_patc_search);
+
+		if (pi == 0) {
+			// 単純なサーチミスのみカウントし、M bit による合流は除きたい。
+			STAT(stat_patc_miss1);
 			goto patc_miss;
 		}
 
-		// Physical Address <= PFA :: LA[11-2] :: 00
-		acc_paddrH = p.pfa | (acc_laddr & 0x00000ffc);
-		acc_stat |= p.stat;
-		putlog(4, " PATC[%u] hit acc=%s paddr=$%08x", n,
-			stat2str(acc_stat).c_str(), acc_paddrH);
+		la = acc_laddr & 0xfffff000U;
+		la |= IsSuper() ? PATC_S : 0;
 
-		parent->AddCycle(1);
-		return true;
-	}
+		do {
+			int i = __builtin_ctzll(pi);
+			m88200PATC& p = patc[i];
+			if (p.lpa == la) {
+				// PATC hit
+				patc_hit++;
+				if (acc_IsWrite() && p.wp) {
+					putlog(4, " PATC[%d] hit; stat=%s m=%d wp=%d", i,
+						stat2str(p.stat).c_str(), p.m, p.wp);
+					goto write_violation;
+				}
+				if (acc_IsWrite() && p.m == false) {
+					// Update M bit
+					// フローチャートでは PATC[M] はこの後のテーブルサーチ中
+					// の Update Page Descriptor 処理中で更新するように書いて
+					// あるように読めるのだが、その通りに実装すると、メモリ
+					// 上の Page Descriptor に最初から M ビットが立っていると
+					// (というか OpenBSD カーネルが用意した Page Descriptor
+					// には立っているので) PATC[M] の更新も行われず、PATC[M]
+					// が立っていないので再びここに来てしまい無限ループになる。
+					// 誰が間違ってるのか分からないけど、とりあえずここで
+					// PATC[M] を立てれば問題は起きない。
+					putlog(4, " PATC[%d] hit; Need to update M bit", i);
+					p.m = true;
+
+					// この下の PATC miss に合流する。
+					acc_patc = &p;
+					goto patc_miss;
+				}
 
-	// PATC miss
+				// Physical Address <= PFA :: LA[11-2] :: 00
+				acc_paddr = p.pfa | (acc_laddr & 0x00000fffU);
+				acc_stat |= p.stat;
+				putlog(4, " PATC[%d] hit acc=%s paddr=$%08x", i,
+					stat2str(acc_stat).c_str(), acc_paddr);
+
+				parent->AddCycle(1);
+				return true;
+			}
+			// ヒットしたビットを 0 にする。
+			pi &= pi - 1;
+		} while (pi);
+
+		// 単純なサーチミスのみカウントし、M bit による合流は除きたい。
+		STAT(stat_patc_miss2);
  patc_miss:
-	putlog(4, " BATC/PATC miss");
+		putlog(4, " BATC/PATC miss");
 
-	// PATC にヒットして M bit 更新するものは両方カウントされるけど
-	atc_miss++;
+		// PATC miss
 
-	// Table search operation
-	if (TableSearch() == true) {
-		// テーブルサーチの結果、エントリが見付かって PATC が更新されたので
-		// もう一度やり直す。
-		// フローチャートでは Select Area Descriptor まで戻るように書いて
-		// あるが、PATC ミスによるテーブルサーチでは Area Descriptor と BATC
-		// は変化しないので、Area Descriptor の検索は省略。
-		goto try_again;
-	}
+		// PATC にヒットして M bit 更新するものは両方カウントされるけど。
+		atc_miss++;
 
-	// Invalid
-	// Reply with fault (Figure2-10 だがここではすべて不要)
-	return false;
+		// フローチャートでは PATC miss というラベルが付いてるが、コード
+		// では acc_patc は PATC ループ前に NULL にしてあり(=miss)、
+		// ループで PATC エントリが見付かれば acc_patc に代入してから
+		// break してここに来るので、ちょっとだけ見た目と違うが意図してる
+		// 動作は同じはず。
+
+		// Table search operation
+		if (TableSearch() == false) {
+			goto invalid;
+		}
+
+		// フローチャートでは Select Area Descriptor まで戻るように
+		// 書いてあるが、PATC ミスによるテーブルサーチでは Area Descriptor
+		// と BATC は変化せず PATC が変化するだけなので、PATC サーチから
+		// やり直す。
+		continue;
+	}
+	PANIC("loop detected");
 
  write_violation:
-	// XXX fault_addr 不明
-	SetFault(FAULT_CODE_WRITE, 0xcccccccc);
+	// この場合アドレス (PFAR) は破棄 (Table 2-2)。
+	SetFault(FAULT_CODE_WRITE, 0xccccccccU);
+ invalid:
 	// Reply with fault (Figure2-10 だがここではすべて不要)
 	return false;
 }
 
 // Select Area Descriptor.
-// 結果が Type=Valid なら true、Type=Untranslated なら false を返す。
+// 結果が Type=Valid なら acc_sdaddr にセグメントアドレス、acc_stat に
+// WT, G, C ビットを代入し true を返す。
+// Type=Untranslated なら acc_stat のみ代入し false を返す。
 // Probe Command からも呼ばれる (はずだが未実装)。
 // p2-21, Figure2-5
 bool
 m88200::SelectAreaDesc()
 {
-	acc_stat = acc_apr->stat & ACC_STAT_MASK;
+	// TE=0 の場合でも有効。
+	acc_stat = acc_apr->stat;
+
 	if (acc_apr->enable) {
 		// セグメントディスクリプタのアドレスはここで決まるが、
 		// 次に行う BATC、PATC サーチでは使わず、それらが全部ミスして
@@ -1492,11 +1491,14 @@ m88200::SelectAreaDesc()
 }
 
 // Table Search
-// Type=Valid なら true、Type=Invalid なら false を返す。Type=Retry はない。
+// Type=Valid なら true、Type=Invalid なら SetFault() して false を返す。
+// Type=Retry はない。
 // p2-20, Figure2-4
 bool
 m88200::TableSearch()
 {
+	bool rv = false;
+
 	putlog(4, " %s $%08x/%s acc=%s", __func__, acc_laddr,
 		(acc_read ? "Read" : "Write"), stat2str(acc_stat).c_str());
 
@@ -1508,17 +1510,15 @@ m88200::TableSearch()
 	MBusAcquire();
 
 	if (FetchSegmentDesc() == false) {
-		MBusRelease();
-
+		// SetFault() 済み。
 		parent->AddCycle(7);	// Table.6-2
-		return false;
+		goto done;
 	}
 
 	if (FetchPageDesc() == false) {
-		MBusRelease();
-
+		// SetFault() 済み。
 		parent->AddCycle(11);	// Table.6-2
-		return false;
+		goto done;
 	}
 
 	// 中央の TYPE = VALID のところ
@@ -1526,7 +1526,7 @@ m88200::TableSearch()
 	//            +----------+ +----------+
 	//            |                       |
 	//      DESC[U]=0 ||              Otherwise
-	//  DESC[M]=0 && WRITE                |
+	//  (DESC[M]=0 && WRITE)              |
 	//            |                       |
 	//     UpdatePageDesc                 |
 	//            |                       |
@@ -1550,8 +1550,8 @@ m88200::TableSearch()
 		parent->AddCycle(15);	// Table.6-2
 
 		if (UpdatePageDesc() == false) {
-			MBusRelease();
-			return false;
+			// SetFault() 済み。
+			goto done;
 		}
 	} else {
 		parent->AddCycle(11);	// Table.6-2
@@ -1562,12 +1562,15 @@ m88200::TableSearch()
 		CreatePATCEntry();
 	}
 
+	rv = true;
+ done:
 	MBusRelease();
-	return true;
+	return rv;
 }
 
 // Fetch Segment Descriptor
-// Type=Valid なら true、Type=Invalid なら false を返す。Type=Retry はない。
+// Type=Valid なら true、Type=Invalid なら SetFault() して false を返す。
+// Type=Retry はない。
 // 公式フローチャートと違って MBus Acquire された状態で呼び出すこと。
 // p2-22, Figure2-6
 bool
@@ -1575,14 +1578,16 @@ m88200::FetchSegmentDesc()
 {
 	busdata data;
 
-	MBusMakeSnoop(acc_sdaddr, 0);
-	data = MBusRead(acc_sdaddr, 4);
+	MBusMakeSnoop(acc_sdaddr, IM_0);
+	busaddr baddr = busaddr(acc_sdaddr) | BusAddr::S | BusAddr::Size4;
+	// ディスクリプタの読み込みは自動的に CI (p3-18 3.6)。
+	data = PhysRead(baddr, DESC_CI);
 	if (__predict_false(data.IsBusErr())) {
-		SetFault(FAULT_CODE_BUSERR, acc_sdaddr);
+		// SetFault() 済み。
 		return false;
 	}
 	tmp_desc = data.Data();
-	tmp_desc &= (0xfffff000 |
+	tmp_desc &= (0xfffff000U |
 		DESC_WT | DESC_SP | DESC_G | DESC_CI | DESC_WP | DESC_V);
 
 	if (__predict_false((tmp_desc & DESC_V) == 0)) {
@@ -1599,10 +1604,12 @@ m88200::FetchSegmentDesc()
 			return false;
 		}
 
-		acc_pdaddr = (tmp_desc & 0xfffff000) | ((acc_laddr >> 10) & 0xffc);
+		acc_pdaddr =
+			busaddr((tmp_desc & 0xfffff000U) | ((acc_laddr >> 10) & 0xffc))
+			| BusAddr::S | BusAddr::Size4;
 		acc_stat |= tmp_desc & ACC_STAT_MASK;
 		putlog(4, "  SD $%08x pdaddr=$%08x stat=%s acc=%s",
-			acc_sdaddr, acc_pdaddr,
+			acc_sdaddr, acc_pdaddr.Addr(),
 			stat2str(tmp_desc).c_str(),
 			stat2str(acc_stat).c_str());
 		return true;
@@ -1610,7 +1617,8 @@ m88200::FetchSegmentDesc()
 }
 
 // Fetch Page Descriptor
-// Type=Valid なら true、Type=Invalid なら false を返す。Type=Retry はない。
+// Type=Valid なら true、Type=Invalid なら SetFault() して false を返す。
+// Type=Retry はない。
 // 公式フローチャートと違って MBus Acquire された状態で呼び出すこと。
 // p2-23, Figure2-7
 bool
@@ -1618,39 +1626,48 @@ m88200::FetchPageDesc()
 {
 	busdata data;
 
-	MBusMakeSnoop(acc_pdaddr, 0);
-	data = MBusRead(acc_pdaddr, 4);
+	MBusMakeSnoop(acc_pdaddr.Addr(), IM_0);
+	// ディスクリプタの読み込みは自動的に CI (p3-18 3.6)。
+	data = PhysRead(acc_pdaddr, DESC_CI);
 	if (__predict_false(data.IsBusErr())) {
-		SetFault(FAULT_CODE_BUSERR, acc_pdaddr);
+		// SetFault() 済み。
 		return false;
 	}
 	tmp_desc = data.Data();
-	tmp_desc &= (0xfffff000 | DESC_WT | DESC_SP | DESC_G | DESC_CI |
+	tmp_desc &= (0xfffff000U | DESC_WT | DESC_SP | DESC_G | DESC_CI |
 		DESC_M | DESC_U | DESC_WP | DESC_V);
 
 	if (__predict_false((tmp_desc & DESC_V) == 0)) {
-		SetFault(FAULT_CODE_PAGE, acc_pdaddr);
-		putlog(4, "  PD $%08x desc=$%08x PageFault", acc_pdaddr, tmp_desc);
+		SetFault(FAULT_CODE_PAGE, acc_pdaddr.Addr());
+		putlog(4, "  PD $%08x desc=$%08x PageFault",
+			acc_pdaddr.Addr(), tmp_desc);
 		return false;
 	} else {
 		// Descriptor is valid
 
 		if (__predict_false((tmp_desc & DESC_SP) && IsUser())) {
-			SetFault(FAULT_CODE_SUPERVISOR, acc_pdaddr);
+			SetFault(FAULT_CODE_SUPERVISOR, acc_pdaddr.Addr());
 			putlog(4, "  PD $%08x desc=$%08x SupervisorFault",
-				acc_pdaddr, tmp_desc);
+				acc_pdaddr.Addr(), tmp_desc);
 			return false;
 		}
 
 		acc_stat |= tmp_desc & ACC_STAT_MASK;
 
+		// Fig.2-7 ではここで Write Violation のテストをするとある。
+		// 一方、p2-19 の本文ではここではテストせず、PATC エントリを作って
+		// 再サーチでこの PATC に当たってそこでテストすると書いてある
+		// (Table 2-2 にもディスクリプタ取得中の Write Violation はないので
+		// 本文の内容を支持しているように見える) が、
+		// そうすると動かないので、本文が誤りだと思うことにする…。
 		if (__predict_false((acc_stat & DESC_WP) && acc_IsWrite())) {
 			// fault_addr は invalid data
-			SetFault(FAULT_CODE_WRITE, 0xcccccccc);
-			putlog(4, "  PD $%08x desc=$%08x WriteFault", acc_pdaddr, tmp_desc);
+			SetFault(FAULT_CODE_WRITE, 0xccccccccU);
+			putlog(4, "  PD $%08x desc=$%08x WriteFault",
+				acc_pdaddr.Addr(), tmp_desc);
 			return false;
 		} else {
-			putlog(4, "  PD $%08x stat=%s acc=%s", acc_pdaddr,
+			putlog(4, "  PD $%08x stat=%s acc=%s", acc_pdaddr.Addr(),
 				stat2str(tmp_desc).c_str(),
 				stat2str(acc_stat).c_str());
 			return true;
@@ -1659,13 +1676,12 @@ m88200::FetchPageDesc()
 }
 
 // Update Page Descriptor
-// Type=Valid なら true、Type=Invalid なら false を返す。Type=Retry はない。
+// Type=Valid なら true、Type=Invalid なら SetFault() して false を返す。
+// Type=Retry はない。
 // p2-24, Figure2-8
 bool
 m88200::UpdatePageDesc()
 {
-	busdata bd;
-
 	if ((tmp_desc & DESC_M) == 0 && acc_IsWrite()) {
 		// Update Modified bit and accrue status
 
@@ -1679,39 +1695,32 @@ m88200::UpdatePageDesc()
 	// Update Used bit
 	tmp_desc |= DESC_U;
 
-	MBusMakeSnoop(acc_pdaddr, 1);
-	bd = MBusWrite(acc_pdaddr, tmp_desc, 4);
-	if (__predict_false(bd.IsBusErr())) {
-		SetFault(FAULT_CODE_BUSERR, acc_pdaddr);
+	// ディスクリプタへのアクセスは自動的に CI (p3-18 3.6)。
+	busdata r = PhysWrite(acc_pdaddr, tmp_desc, DESC_CI);
+	if (__predict_false(r.IsBusErr())) {
+		// SetFault() 済み。
 		return false;
 	}
+
 	putlog(4, "  Update PD $%08x desc=$%08x stat=%s",
-		acc_pdaddr, tmp_desc, stat2str(tmp_desc).c_str());
+		acc_pdaddr.Addr(), tmp_desc, stat2str(tmp_desc).c_str());
 
 	return true;
 }
 
-// 指定の PATC を無効にする。
+// patc[patc_index] に対応する PATC ハッシュを無効にする。
 void
-m88200::InvalidatePATCEntry(m88200PATC& p)
+m88200::InvalidatePATCHash(int patc_index)
 {
-	uint32 la = addr2hash(p.IsS(), p.lpa);
+	m88200PATC& p = patc[patc_index];
+	int hashkey = patc_hash_func(p.lpa);
 
-	if (p.IsValid()) {
-		uint8 n = atc_hash_all[la];
-		// - BATC (n<0) なら、atc_hash は触らず PATC エントリだけ消す。
-		//   この PATC が作成された後にここに BATC がセットされたとかなので。
-		// - PATC (n>0) なら (自分のはずなので) atc_hash ごと消す。
-		if ((int8)n > 0) {
-			atc_hash_all[la] = 0;
-		}
+	uint64 bit = 1ULL << patc_index;
+	if (p.IsS()) {
+		patc_hash_s[hashkey] &= ~bit;
+	} else {
+		patc_hash_u[hashkey] &= ~bit;
 	}
-	//DumpATC();
-
-	p.lpa |= PATC_INVALID;
-#if defined(M88200_STAT)
-	stat_patc_invalidate++;
-#endif
 }
 
 // Create PATC Entry
@@ -1720,40 +1729,46 @@ m88200::InvalidatePATCEntry(m88200PATC&
 void
 m88200::CreatePATCEntry()
 {
-	// 空きがあろうがなかろうが、とにかく一番古いエントリを使う。
-	// おそらく実機も空きエントリを前に詰めるような複雑な処理はして
-	// ないだろうという推測。
+	// 空きエントリがあればそれを使う。なければ一番古いエントリを使う。
+	// 検索は線形探索ではなくハッシュで実装してあるので、途中に空きエントリが
+	// あっても (線形探索する時のような) デメリットはない。
+	// 最初は全エントリが空きで、エントリが埋まるまでは patc_next は使われない。
+	// 一度エントリが埋まると patc_next が生贄になる。
+
+	STAT(stat_patc_create);
+
+	uint pi;
+	if (patc_free != 0) {
+		// 空きがあればそれを使う。
+		pi = __builtin_ctzll(patc_free);
+		patc_free &= ~(1ULL << pi);
+	} else {
+		// 空きがなければ FIFO。
+		pi = patc_next;
+		if (__predict_false(++patc_next >= patc.size())) {
+			patc_next = 0;
+		}
 
-#if defined(M88200_STAT)
-	stat_patc_create++;
-#endif
-	m88200PATC& p = patc[patc_next];
-	// 有効なら無効化
-	if (p.IsValid()) {
-		InvalidatePATCEntry(p);
+		// 有効なはず。
+		InvalidatePATCHash(pi);
 	}
+	m88200PATC& p = patc[pi];
 
 	// このエントリを潰して作る
 	memset(&p, 0, sizeof(p));
-	p.lpa = acc_laddr & 0xfffff000;
-	p.pfa = tmp_desc & 0xfffff000;
+	p.lpa = acc_laddr & 0xfffff000U;
+	p.pfa = tmp_desc & 0xfffff000U;
 	if (IsSuper()) {
 		p.lpa |= PATC_S;
 	}
 	p.stat = acc_stat;
-	putlog(4, "  %s %c:$%08x:$%08x stat=%s", __func__,
-		p.IsS() ? 'S' : 'U', (p.lpa & 0xfffff000), p.pfa,
+	putlog(4, "  %s %c.$%08x:$%08x stat=%s", __func__,
+		p.IsS() ? 'S' : 'U', (p.lpa & 0xfffff000U), p.pfa,
 		stat2str(p.stat).c_str());
 
-	// ハッシュの値は PATC#0 が 1。
-	uint32 la = p.lpa >> 12;
-	atc_hash[la] = patc_next + 1;
-	//DumpATC();
-
-	patc_next++;
-	if (__predict_false(patc_next >= patc.size())) {
-		patc_next = 0;
-	}
+	uint64 hashkey = patc_hash_func(p.lpa);
+	uint64 bit = 1ULL << pi;
+	patc_hash[hashkey] |= bit;
 }
 
 // アドレス変換 (デバッガ用)
@@ -1764,6 +1779,7 @@ m88200::TranslatePeek(busaddr addr_) con
 	uint32 laddr = addr_.Addr();
 	bool issuper = addr_.IsSuper();
 	uint32 la;
+	uint n;
 
 	// Select Area Descriptor
 	if (issuper) {
@@ -1772,24 +1788,36 @@ m88200::TranslatePeek(busaddr addr_) con
 		xapr = &uapr;
 	}
 	if (xapr->enable == 0) {
+		// 変換しない場合でも暗黙 BWP は有効…。
+		if (laddr >= 0xfff00000U && issuper) {
+			// 必ず成立するはず。
+			n = 8;
+			goto batc;
+		}
 		return busaddr(laddr);
 	}
 
-	la = addr2hash(issuper, laddr);
-	uint8 n = atc_hash_all[la];
+	// Search BATC first
+	n = 0;
+ batc:
+	la = laddr & 0xfff80000U;
+	la |= issuper ? BATC_S : 0;
+	for (; n < batc.size(); n++) {
+		const auto& b = batc[n];
+		if (b.lba == la) {
+			// BATC hit
+			return busaddr(b.pba | (laddr & 0x0007ffffU));
+		}
+	}
 
-	if (n == 0) {
-		// FALLTHROUGH
-	} else if ((int8)n < 0) {
-		// BATC #(~n) hit
-		n = ~n;
-		const m88200BATC& b = batc[n];
-		return busaddr(b.pba | (laddr & 0x0007ffff));
-	} else {
-		// BATC #(n-1) hit
-		n--;
-		const m88200PATC& p = patc[n];
-		return busaddr(p.pfa | (laddr & 0x00000fff));
+	// BATC miss, search PATC then
+	la = laddr & 0xfffff000U;
+	la |= issuper ? PATC_S : 0;
+	for (const auto& p : patc) {
+		if (p.lpa == la) {
+			// PATC hit
+			return busaddr(p.pfa | (laddr & 0x00000fffU));
+		}
 	}
 
 	// ここからテーブルサーチ
@@ -1812,7 +1840,7 @@ m88200::TranslatePeek(busaddr addr_) con
 	}
 
 	// Peek Page Descriptor
-	desc_addr = (desc & 0xfffff000) | ((laddr >> 10) & 0xffc);
+	desc_addr = (desc & 0xfffff000U) | ((laddr >> 10) & 0xffc);
 	data = mainbus->Peek4(desc_addr);
 	if ((int64)data < 0) {
 		return BusAddr::BusErr | BusAddr::TableSearched;
@@ -1825,13 +1853,125 @@ m88200::TranslatePeek(busaddr addr_) con
 		return BusAddr::BusErr | BusAddr::TableSearched;
 	}
 
-	busaddr r((desc & 0xfffff000) | (laddr & 0x00000fff));
+	busaddr r((desc & 0xfffff000U) | (laddr & 0x00000fffU));
 	r |= BusAddr::TableSearched;
 	return r;
 }
 
 
 //
+// 物理アドレスアクセス
+//
+
+// paddr はアドレス、サイズ、S/U ビットのみを参照する。
+// paddr のアドレスはそのサイズによって 1, 2, 4 バイト境界に整列していること。
+// stat はこのアクセスの制御ビット DESC_WT, DESC_G, DESC_CI。
+// 戻り値は、読み込めればその値 (右詰め)。
+// バスエラーが起きれば SetFault して BusData::BusErr を返す。
+busdata
+m88200::PhysRead(busaddr paddr, uint32 stat)
+{
+	if ((stat & DESC_CI)) {
+		// キャッシュ禁止の場合の説明が少ない…。
+		// メモリから読み込んで、キャッシュには置かない。
+		// その際キャッシュに同エントリが存在していれば
+		// *たとえ EM でもコピーバックせずに* 破棄する (p3-18 の 3.6 あたり)。
+
+		uint32 tagaddr = (paddr.Addr() & 0xfffff000U);
+		uint32 setidx  = (paddr.Addr() >> 4) & 0xff;
+		m88200CacheSet& set = setarray[setidx];
+
+		int line = set.Lookup(tagaddr);
+		if (__predict_false(line >= 0)) {
+			set.Update(line, m88200CacheSet::IV);
+		}
+
+		// とりあえず。Table 6-2
+		parent->AddCycle(7);
+
+		MBusAcquire();
+		MBusMakeSnoop(paddr.Addr(), IM_0);
+		busdata bd = MBusRead(paddr);
+		MBusRelease();
+		// bd.Data は下詰めになっている。エラー時は SetFault() 済み。
+		return bd;
+	} else {
+		// キャッシュ許可の場合。
+		busdata data;
+
+		data = CacheRead(paddr.Addr() & ~3U);
+		if (__predict_false(data.IsBusErr())) {
+			// SetFault() 済み。
+			return data;
+		}
+
+		uint size = paddr.GetSize();
+		if (__predict_true(size == 4)) {
+			return data;
+		} else if (__predict_true(size == 1)) {
+			switch (paddr.Addr() & 3U) {
+			 case 0:
+				return (data >> 24);
+			 case 1:
+				return (data >> 16) & 0xff;
+			 case 2:
+				return (data >>  8) & 0xff;
+			 case 3:
+				return data & 0xff;
+			 default:
+				__unreachable();
+			}
+		} else if (__predict_true(size == 2)) {
+			if ((paddr.Addr() & 3U) == 0) {
+				return data >> 16;
+			} else {
+				return data & 0xffff;
+			}
+		} else {
+			PANIC("size must be 1, 2, 4");
+		}
+	}
+}
+
+// paddr はアドレス、サイズ、S/U ビットのみを参照する。
+// paddr のアドレスはそのサイズによって 1, 2, 4 バイト境界に整列していること。
+// data は右詰め。
+// stat はこのアクセスの制御ビット DESC_WT, DESC_G, DESC_CI。
+// 書き込めれば 0、バスエラーが起きれば SetFault() して BusData::BusErr を返す。
+busdata
+m88200::PhysWrite(busaddr paddr, uint32 data, uint32 stat)
+{
+	if ((stat & DESC_CI)) {
+		// キャッシュ禁止の場合の説明が少ない…。
+		// キャッシュには置かずにメモリに書き出す。
+		// その際キャッシュに同エントリが存在していれば
+		// *たとえ EM でもコピーバックせずに* 破棄する (p3-18 の 3.6 あたり)。
+
+		uint32 tagaddr = (paddr.Addr() & 0xfffff000U);
+		uint32 setidx  = (paddr.Addr() >> 4) & 0xff;
+		m88200CacheSet& set = setarray[setidx];
+
+		int line = set.Lookup(tagaddr);
+		if (__predict_false(line >= 0)) {
+			set.Update(line, m88200CacheSet::IV);
+		}
+
+		// とりあえず。Table 6-2
+		parent->AddCycle(7);
+
+		MBusAcquire();
+		MBusMakeSnoop(paddr.Addr(), IM_1);
+		busdata bd = MBusWrite(paddr, data);
+		MBusRelease();
+		return bd;
+	} else {
+		// キャッシュ許可の場合。
+		return CacheWrite(paddr.Addr(), data, paddr.GetSize());
+	}
+}
+
+
+//
 // キャッシュ
 //
 
@@ -1850,8 +1990,8 @@ m88200CacheSet::Update(uint line, m88200
 // CSSP L5-L0 の処理。
 // 引数 tmpL の状態から line を最新にしたらどうなるか、を返す。
 // 表示処理で一時変数に対して処理が必要なため分離してある。
-/*static*/ int
-m88200CacheSet::TryUseLine(int tmpL, int line)
+/*static*/ uint
+m88200CacheSet::TryUseLine(uint tmpL, int line)
 {
 	// L フィールドは 3bit, 2bit, 1bit で構成され、
 	// 他のラインの対応ビットを落として、
@@ -1875,8 +2015,8 @@ m88200CacheSet::TryUseLine(int tmpL, int
 
 // CSSP L5-L0 の処理。
 // 引数 tmpL の状態から line を最古にしたらどうなるか、を返す。
-/*static*/ int
-m88200CacheSet::TryUnuseLine(int tmpL, int line)
+/*static*/ uint
+m88200CacheSet::TryUnuseLine(uint tmpL, int line)
 {
 	// Use のちょうど反転論理
 	if (line == 3) {
@@ -1897,7 +2037,7 @@ m88200CacheSet::TryUnuseLine(int tmpL, i
 // 引数 tmpL の状態で、最新の line を返す。
 // 表示処理で一時変数に対して処理が必要なため分離してある。
 /*static*/ int
-m88200CacheSet::TryGetOldestLine(int tmpL)
+m88200CacheSet::TryGetOldestLine(uint tmpL)
 {
 	if (tmpL < 8) {
 		return 3;
@@ -1938,23 +2078,23 @@ m88200CacheSet::Write(uint line, uint32
 	data32 = word[line * 4 + wordidx];
 	if (size == 2) {
 		if ((paddr & 2) == 0) {
-			data32 = (data32 & 0x0000ffff) | (data << 16);
+			data32 = (data32 & 0x0000ffffU) | (data << 16);
 		} else {
-			data32 = (data32 & 0xffff0000) | data;
+			data32 = (data32 & 0xffff0000U) | data;
 		}
 	} else {
 		switch (paddr & 3) {
 		 case 0:
-			data32 = (data32 & 0x00ffffff) | (data << 24);
+			data32 = (data32 & 0x00ffffffU) | (data << 24);
 			break;
 		 case 1:
-			data32 = (data32 & 0xff00ffff) | (data << 16);
+			data32 = (data32 & 0xff00ffffU) | (data << 16);
 			break;
 		 case 2:
-			data32 = (data32 & 0xffff00ff) | (data << 8);
+			data32 = (data32 & 0xffff00ffU) | (data << 8);
 			break;
 		 case 3:
-			data32 = (data32 & 0xffffff00) | data;
+			data32 = (data32 & 0xffffff00U) | data;
 			break;
 		 default:
 			__unreachable();
@@ -1968,7 +2108,7 @@ m88200CacheSet::Write(uint line, uint32
 int
 m88200CacheSet::Lookup(uint32 tagaddr) const
 {
-	for (int line = 0; line < 4; line++) {
+	for (uint line = 0; line < 4; line++) {
 		if (tag[line] == tagaddr) {
 			return line;
 		}
@@ -1978,9 +2118,9 @@ m88200CacheSet::Lookup(uint32 tagaddr) c
 
 
 // キャッシュの指定の set, line にメモリから 1 ライン(4word) 読み込む。
-// 成功すれば 0 を返す。
-// バスエラーなら fault_code, fault_addr をセットし (uint64)-1 を返す。
-uint64
+// 成功すれば true を返す。
+// バスエラーが起きれば SetFault() して false を返す。
+bool
 m88200::ReadLine(m88200CacheSet& set, uint line, uint32 tagaddr)
 {
 	// タグを更新
@@ -1990,63 +2130,64 @@ m88200::ReadLine(m88200CacheSet& set, ui
 	busdata r = mainbus->ReadBurst16(addr, &set.word[line * 4]);
 	if (__predict_true(r.IsBusErr() == false)) {
 		parent->AddWait(r.GetWait());
-		return 0;
+		return true;
 	} else {
 		addr |= BusAddr::Size4;
-		for (int i = 0; i < 4; i++) {
+		for (uint i = 0; i < 4; i++) {
 			busdata bd = mainbus->Read(addr);
 			parent->AddWait(r.GetWait());
 			if (__predict_false(bd.IsBusErr())) {
 				SetFault(FAULT_CODE_BUSERR, addr.Addr());
-				return (uint64)-1;
+				return false;
 			}
 			set.word[line * 4 + i] = bd.Data();
 			addr += 4;
 		}
 	}
-	return 0;
+	return true;
 }
 
 // キャッシュの指定の set, line の1ライン(4word) を書き出す (コピーバック)。
-// 成功すれば 0 を返す。
-// バスエラーなら fault_code, fault_addr をセットし (uint64)-1 を返す。
-uint64
+// 成功すれば true を返す。
+// バスエラーが起きれば SetFault() して false を返す。
+// コピーバックの成功/失敗など状況に応じて、呼び出し元が set.Update() すること。
+bool
 m88200::CopyBackLine(m88200CacheSet& set, uint line)
 {
 	busaddr addr = busaddr(set.tag[line] | (set.setidx << 4)) | acc_super;
 	busdata r = mainbus->WriteBurst16(addr, &set.word[line * 4]);
 	if (__predict_true(r.IsBusErr() == false)) {
 		parent->AddWait(r.GetWait());
-		return 0;
+		return true;
 	} else {
 		addr |= BusAddr::Size4;
-		for (int i = 0; i < 4; i++) {
+		for (uint i = 0; i < 4; i++) {
 			busdata bd = mainbus->Write(addr, set.word[line * 4 + i]);
+			parent->AddWait(bd.GetWait());
 			if (__predict_false(bd.IsBusErr())) {
 				SetFault(FAULT_CODE_BUSERR, addr.Addr());
-				return (uint64)-1;
+				return false;
 			}
 			addr += 4;
 		}
 	}
-	return 0;
+	return true;
 }
 
 // キャッシュに対して paddr の読み込みを行う。
 // paddr は 32bit 境界のアドレスであること。
 // 読み込めれば該当の32bitワードを返す。
-// 何らかエラーが起きれば (uint64)-1 を返す。エラー要因は fault_code とか参照。
+// バスエラーが起きれば SetFault() して BusData::BusErr を返す。
 // p.3-8 Figure 3-3
-uint64
+busdata
 m88200::CacheRead(uint32 paddr)
 {
 	int line;
-	uint64 rv;
 
 	assert((paddr & 3) == 0);
 
 	// タグとセット番号
-	uint32 tagaddr = (paddr & 0xfffff000);
+	uint32 tagaddr = (paddr & 0xfffff000U);
 	uint32 setidx  = (paddr >> 4) & 0xff;
 	uint32 wordidx = (paddr >> 2) & 0x03;
 
@@ -2074,8 +2215,8 @@ m88200::CacheRead(uint32 paddr)
 
 	if (set.vv[line] == m88200CacheSet::EM) {
 		parent->AddCycle(7);	// Table.6-2
-		rv = CopyBackLine(set, line);
-		if ((int64)rv < 0) {
+		if (CopyBackLine(set, line) == false) {
+			// SetFault() 済み。
 			goto error;
 		}
 	}
@@ -2084,9 +2225,9 @@ m88200::CacheRead(uint32 paddr)
 	set.Update(line, m88200CacheSet::IV);
 
 	// Read line from memory
-	MBusMakeSnoop(paddr, 0);
-	rv = ReadLine(set, line, tagaddr);
-	if (__predict_false((int64)rv < 0)) {
+	MBusMakeSnoop(paddr, IM_0);
+	if (ReadLine(set, line, tagaddr) == false) {
+		// SetFault() 済み。
 		goto error;
 	}
 
@@ -2102,25 +2243,24 @@ m88200::CacheRead(uint32 paddr)
 
  error:
 	MBusRelease();
-	return (uint64)-1;
+	return BusData::BusErr;
 }
 
 // キャッシュに対して paddr への data の書き込みを行う。size は 1, 2, 4 バイト。
 // paddr は size に応じた境界にあること。
-// 書き込めれば 0、エラーが起きれば (uint64)-1 を返す。
-// エラー要因は fault_code とか参照。
+// 書き込めれば 0、バスエラーが起きれば SetFault() して BusData::BusErr を返す。
 // p.3-10 Figure 3-5
-uint64
+busdata
 m88200::CacheWrite(uint32 paddr, uint32 data, uint size)
 {
 	int line;
+	busaddr baddr;
 	busdata bd;
-	uint64 rv;
 
 	assert((paddr & (size - 1)) == 0);
 
 	// タグとセット番号
-	uint32 tagaddr = (paddr & 0xfffff000);
+	uint32 tagaddr = (paddr & 0xfffff000U);
 	uint32 setidx  = (paddr >> 4) & 0xff;
 
 	m88200CacheSet& set = setarray[setidx];
@@ -2146,8 +2286,8 @@ m88200::CacheWrite(uint32 paddr, uint32
 
 	if (set.vv[line] == m88200CacheSet::EM) {
 		parent->AddCycle(7);	// Table.6-2
-		rv = CopyBackLine(set, line);
-		if ((int64)rv < 0) {
+		if (CopyBackLine(set, line) == false) {
+			// SetFault() 済み。
 			goto error;
 		}
 	}
@@ -2156,16 +2296,17 @@ m88200::CacheWrite(uint32 paddr, uint32
 	set.Update(line, m88200CacheSet::IV);
 
 	// Read line with intent to modify
-	MBusMakeSnoop(paddr, 1);
-	rv = ReadLine(set, line, tagaddr);
-	if ((int64)rv < 0) {
+	MBusMakeSnoop(paddr, IM_1);
+	if (ReadLine(set, line, tagaddr) == false) {
+		// SetFault() 済み。
 		goto error;
 	}
 
 	// Write data to memory
-	bd = MBusWrite(paddr, data, size);
+	baddr = busaddr(paddr) | acc_super | busaddr::Size(size);
+	bd = MBusWrite(baddr, data);
 	if (__predict_false(bd.IsBusErr())) {
-		SetFault(FAULT_CODE_BUSERR, paddr);
+		// SetFault() 済み。
 		goto error;
 	}
 
@@ -2173,10 +2314,11 @@ m88200::CacheWrite(uint32 paddr, uint32
 	set.Write(line, paddr, data, size);
 
 	// Mark line exclusive unmodified
-	// p3-9 3.4.2.2 CACHE WRITE:CACHE HIT. の本文に writethrough のときは
-	// It marks the line as shared unmodified... と書いてある。
-	// Fig 3-5 には記載はないが、キャッシュエントリが作られるときも
-	// Fig 3-6 のキャッシュヒット時と同じように SU にならないと矛盾する。
+	// ただし Fig.3-12 によると、WriteThrough の時は常に IV と SU の
+	// 二状態しかないはずなので、ここは正しくは
+	//  Mark line shared unmodified (If WT),
+	//  Mark line exclusive unmodified (Otherwise)
+	// なのでは。これなら Fig.3-6 とも整合する。
 	if ((acc_stat & DESC_WT)) {
 		set.Update(line, m88200CacheSet::SU);
 	} else {
@@ -2189,13 +2331,13 @@ m88200::CacheWrite(uint32 paddr, uint32
 
  error:
 	MBusRelease();
-	return (uint64)-1;
+	return BusData::BusErr;
 }
 
 // キャッシュがヒットした場合。
-// 書き込めれば 0、エラーが起きれば (uint64)-1 を返す。
+// 書き込めれば 0、バスエラーが起きれば SetFault して BusData::BusErr を返す。
 // p3-11 Figure 3-6
-uint64
+busdata
 m88200::CacheWriteHit(m88200CacheSet& set, uint line,
 	uint32 paddr, uint32 data, uint size)
 {
@@ -2204,8 +2346,7 @@ m88200::CacheWriteHit(m88200CacheSet& se
 
 		putlog(4, " CacheWrite hit shared unmodified (line=%u)", line);
 
-		// WriteThrough と Global は最後の状態変化だけが違う
-		if ((acc_stat & (DESC_WT | DESC_G))) {
+		if ((acc_stat & DESC_WT)) {
 			// reply = Wait;
 			MBusAcquire();
 
@@ -2213,25 +2354,38 @@ m88200::CacheWriteHit(m88200CacheSet& se
 			set.Write(line, paddr, data, size);
 
 			// Write data to memory
-			MBusMakeSnoop(paddr, 1);
-			busdata bd = MBusWrite(paddr, data, size);
-			if (__predict_false(bd.IsBusErr())) {
-				MBusRelease();
-				SetFault(FAULT_CODE_BUSERR, paddr);
-				return (uint64)-1;
-			}
+			MBusMakeSnoop(paddr, IM_1);
+			busaddr baddr = busaddr(paddr) | acc_super | busaddr::Size(size);
+			busdata bd = MBusWrite(baddr, data);
 
-			if ((acc_stat & DESC_WT)) {
+			if (__predict_true(bd.IsOK())) {
 				// Mark line shared unmodified
 				set.Update(line, m88200CacheSet::SU);
-			} else {
+				set.Use(line);
+			}
+
+			MBusRelease();
+			return bd;
+		} else if ((acc_stat & DESC_G)) {
+			// reply = Wait;
+			MBusAcquire();
+
+			// Write data to cache
+			set.Write(line, paddr, data, size);
+
+			// Write data to memory
+			MBusMakeSnoop(paddr, IM_1);
+			busaddr baddr = busaddr(paddr) | acc_super | busaddr::Size(size);
+			busdata bd = MBusWrite(baddr, data);
+
+			if (__predict_true(bd.IsOK())) {
 				// Mark line exclusive unmodified
 				set.Update(line, m88200CacheSet::EU);
+				set.Use(line);
 			}
-			set.Use(line);
 
 			MBusRelease();
-			return 0;
+			return bd;
 		}
 
 		// どちらでもない場合は Line Exclusive と同じ処理に落ちる
@@ -2250,66 +2404,62 @@ m88200::CacheWriteHit(m88200CacheSet& se
 	return 0;
 }
 
-// paddr への xmem を行う。size は 1, 2, 4 バイト。
-// 成功すれば読み出した値、エラーが起きれば (uint64)-1 を返す。
+// paddr への xmem を行う。size は 1, 4 バイト (2バイトはない)。
+// 成功すれば読み出し値、エラーが起きれば SetFault して BusData::BusErr を返す。
 // p3-13, Figure3-7
-uint64
+busdata
 m88200::CacheXmem(uint32 paddr, uint32 data, uint size)
 {
 	int line;
 	busdata bd;
-	uint64 rv;
 
 	assert((paddr & (size - 1)) == 0);
 
 	// タグとセット番号
-	uint32 tagaddr = (paddr & 0xfffff000);
+	uint32 tagaddr = (paddr & 0xfffff000U);
 	uint32 setidx  = (paddr >> 4) & 0xff;
 
 	m88200CacheSet& set = setarray[setidx];
 	putlog(3, "CacheXmem paddr=$%08x (set=$%02x)", paddr, setidx);
 
+	// ちょっとフローチャートとは一対一対応しないけど、
+	// 要はどのパスを通っても必要になる前に一度だけ MBusAcquire + Snoop する
+	// ということのはず。
+	// うちではキャッシュ操作と Mbus 操作の順を入れ替えても影響はない。
+	MBusAcquire();
+	MBusMakeSnoop(paddr, IM_1);
+
 	line = set.Lookup(tagaddr);
-	if (__predict_false(line >= 0 && set.vv[line] == m88200CacheSet::EM)) {
-		// Cache Hit (and Line exclusive modified)
-		putlog(4, " CacheXmem hit and EM (line=%u)", line);
+	if (__predict_true(line >= 0)) {
+		// Cache Hit
 
-		MBusAcquire();
+		// xmem はそもそも CI 相当だが、Read/Write と違って EM なら
+		// コピーバックする。(p3-12 3.4.3)
+		if (set.vv[line] == m88200CacheSet::EM) {
+			// Line exclusive modified
+			putlog(4, " CacheXmem hit and EM (line=%u)", line);
 
-		parent->AddCycle(7);	// Table.6-2
-		MBusMakeSnoop(paddr, 1);
-		rv = CopyBackLine(set, line);
-		if (__predict_false((int64)rv < 0)) {
-			goto error;
+			parent->AddCycle(7);	// Table.6-2
+			if (CopyBackLine(set, line) == false) {
+				// SetFault() 済み。
+				MBusRelease();
+				return BusData::BusErr;
+			}
+		} else {
+			// Otherwise
+			putlog(4, " CacheXmem hit and unmodified (line=%u)", line);
 		}
-
 		set.Update(line, m88200CacheSet::IV);
 	} else {
-		// Cache Miss or (Cache Hit but other than exclusive modified)
-
-		if (line >= 0) {
-			// Cache Hit and Otherwise (= !EM)
-			putlog(4, " CacheXmem hit but !EM (line=%u)", line);
-			set.Update(line, m88200CacheSet::IV);
-		} else {
-			putlog(4, " CacheXmem miss");
-		}
-
-		MBusAcquire();
-	}
-
-	MBusMakeSnoop(paddr, 1);
-	bd = MBusXmem(paddr, data, size);
-	MBusRelease();
-	if (__predict_false(bd.IsBusErr())) {
-		SetFault(FAULT_CODE_BUSERR, paddr);
-		return (uint64)-1;
+		// Cache Miss
+		putlog(4, " CacheXmem miss");
 	}
-	return bd.Data();
 
- error:
+	busaddr baddr = busaddr(paddr) | acc_super | busaddr::Size(size);
+	bd = MBusXmem(baddr, data);
 	MBusRelease();
-	return rv;
+	// 失敗なら SetFault() 済み。
+	return bd;
 }
 
 // MBus 使用権を取得する
@@ -2330,7 +2480,7 @@ m88200::MBusAcquire()
 // いる他 CMMU が必要に応じて反応するのだが、ここでは全部マスタ主導で行う。
 // Figure 3-8, 3-9
 void
-m88200::MBusMakeSnoop(uint32 paddr, uint im)
+m88200::MBusMakeSnoop(uint32 paddr, bool im)
 {
 	if ((acc_stat & DESC_G) == 0) {
 		return;
@@ -2360,11 +2510,11 @@ m88200::MBusMakeSnoop(uint32 paddr, uint
 // こっちはそのマスタから呼ばれるスレーブ側。
 // Figure 3-8, 3-9
 void
-m88200::Snoop(uint32 paddr, uint im)
+m88200::Snoop(uint32 paddr, bool im)
 {
 	assert((sctr & SCTR_SE));
 
-	uint32 tagaddr = (paddr & 0xfffff000);
+	uint32 tagaddr = (paddr & 0xfffff000U);
 	uint32 setidx  = (paddr >> 4) & 0xff;
 
 	m88200CacheSet& set = setarray[setidx];
@@ -2381,20 +2531,24 @@ m88200::Snoop(uint32 paddr, uint im)
 			// 実際にはここで MBus 使用権を要求して獲得するのだが
 			// その機構はなくその代わり Acquire を呼ぶだけでいける。
 			MBusAcquire();
-			uint64 rv = CopyBackLine(set, line);
+			bool r = CopyBackLine(set, line);
 			MBusRelease();
-			if ((int64)rv < 0) {
+			if (r == false) {
 				// Set CE bit in system status register
 				return;
 			}
+		} else {
+			// Otherwise
+		}
 
-			if (im == 0) {
-				// Mark line shared unmodified (if IM=0)
-				set.Update(line, m88200CacheSet::SU);
-			} else {
-				// Mark line invalid (if IM=1)
-				set.Update(line, m88200CacheSet::IV);
-			}
+		// Modified でも Unmodified でも IM によって SU/IV に変えるところは同じ。
+		if (im == IM_0) {
+			// Mark line shared unmodified (if IM=0)
+			set.Update(line, m88200CacheSet::SU);
+			// よそによって使われただけなのでこちらの L は更新しなくていいか。
+		} else {
+			// Mark line invalid (if IM=1)
+			set.Update(line, m88200CacheSet::IV);
 		}
 	}
 	// Resume servicing PBus