On Mon, Apr 25, 2016 at 01:26:07PM +0200, Ard Biesheuvel wrote: > Well, the problem here is that we only sync the EFI page tables with > the kernel page tables in switch_mm() (if they turn out to be out of > sync). This means we should either sync them in this code path as > well, or remove the kernel VA range from the output, since we'll be > dumping known stale data otherwise. The kernel VA range can always be different - even at task switch time we don't always update it. We only update when there's something that needs to be removed from the page table, and we're running on UP systems. -- RMK's Patch system: http://www.arm.linux.org.uk/developer/patches/ FTTC broadband for 0.8mile line: currently at 9.6Mbps down 400kbps up according to speedtest.net. -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
