[PATCH v2 1/3] KVM: arm64: ARMv8 header changes for page logging

[Christoffer Dall]

On Sat, Nov 15, 2014 at 12:19:08AM -0800, m.smarduch at samsung.com wrote:
> From: Mario Smarduch <m.smarduch at samsung.com>
> 
> This patch adds arm64 helpers to write protect pmds/ptes and retrieve 
> permissions while logging dirty pages. Also adds prototype to write protect 
> a memory slot and adds a pmd define to check for read-only pmds.
> 
> Signed-off-by: Mario Smarduch <m.smarduch at samsung.com>

Reviewed-by: Christoffer Dall <christoffer.dall at linaro.org>