mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2026-09-11 15:12:56 +02:00
Removing and readding every page table mapping every time something changes in the page table is very slow. Instead, let's generate a diff and ask Memmap to update only the diff.