Plan 9 from Bell Labs’s /usr/web/sources/patch/applied/vgamach64xx-mtrr-fix/readme
After vga framebuffer is set to write combining mode, set mmio control register page (which is inside framebuffer space) back to uncached.