Plan 9 from Bell Labs’s /usr/web/sources/patch/bcm-mmukmap-bug/readme
Flush the correct number pf PTEs from cache after mapping a big framebuffer. Essential for 4K displays. Thanks to Bakul Shah for finding this.