On 05/25/2017 02:04 PM, Aurelien Jarno wrote:
/* XXX we exploit the fact that Linux passes the exact virtual address here - it's not obliged to! */ - tlb_flush_page(cs, page); + tlb_flush_page_all_cpus_synced(cs, page);/* XXX 31-bit hack */if (page & 0x80000000) { - tlb_flush_page(cs, page & ~0x80000000); + tlb_flush_page_all_cpus_synced(cs, page & ~0x80000000); } else { - tlb_flush_page(cs, page | 0x80000000); + tlb_flush_page_all_cpus_synced(cs, page | 0x80000000); }
Ideally we would, at the same time, implement the local-pte facility, which examines a bit in the M4 field to *not* do this. That said,
Reviewed-by: Richard Henderson <r...@twiddle.net> r~
