[PATCH v2 6/6] efi/arm*: add support to dump the EFI page tables

[Russell King - ARM Linux]

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.