Re: [PATCH 2/2] ARM: KVM: user_mem_abort: support stage 2 MMIO page mapping

2014-06-24 Thread Will Deacon
On Wed, May 07, 2014 at 03:55:57PM +0100, Christoffer Dall wrote: On Wed, May 07, 2014 at 10:00:21AM +0100, Marc Zyngier wrote: On Tue, May 06 2014 at 7:04:48 pm BST, Christoffer Dall christoffer.d...@linaro.org wrote: On Tue, Mar 25, 2014 at 05:08:14PM -0500, Kim Phillips wrote: Use

Re: [PATCH 2/2] ARM: KVM: user_mem_abort: support stage 2 MMIO page mapping

2014-06-24 Thread Marc Zyngier
On 24/06/14 11:23, Will Deacon wrote: On Wed, May 07, 2014 at 03:55:57PM +0100, Christoffer Dall wrote: On Wed, May 07, 2014 at 10:00:21AM +0100, Marc Zyngier wrote: On Tue, May 06 2014 at 7:04:48 pm BST, Christoffer Dall christoffer.d...@linaro.org wrote: On Tue, Mar 25, 2014 at 05:08:14PM

Re: [PATCH 2/2] ARM: KVM: user_mem_abort: support stage 2 MMIO page mapping

2014-05-07 Thread Marc Zyngier
Kim, Christoffer, On Tue, May 06 2014 at 7:04:48 pm BST, Christoffer Dall christoffer.d...@linaro.org wrote: On Tue, Mar 25, 2014 at 05:08:14PM -0500, Kim Phillips wrote: Use the correct memory type for device MMIO mappings: PAGE_S2_DEVICE. Signed-off-by: Kim Phillips

Re: [PATCH 2/2] ARM: KVM: user_mem_abort: support stage 2 MMIO page mapping

2014-05-07 Thread Christoffer Dall
On Wed, May 07, 2014 at 10:00:21AM +0100, Marc Zyngier wrote: Kim, Christoffer, On Tue, May 06 2014 at 7:04:48 pm BST, Christoffer Dall christoffer.d...@linaro.org wrote: On Tue, Mar 25, 2014 at 05:08:14PM -0500, Kim Phillips wrote: Use the correct memory type for device MMIO mappings:

Re: [PATCH 2/2] ARM: KVM: user_mem_abort: support stage 2 MMIO page mapping

2014-05-06 Thread Christoffer Dall
On Tue, Mar 25, 2014 at 05:08:14PM -0500, Kim Phillips wrote: Use the correct memory type for device MMIO mappings: PAGE_S2_DEVICE. Signed-off-by: Kim Phillips kim.phill...@linaro.org --- arch/arm/kvm/mmu.c | 11 --- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git

[PATCH 2/2] ARM: KVM: user_mem_abort: support stage 2 MMIO page mapping

2014-03-25 Thread Kim Phillips
Use the correct memory type for device MMIO mappings: PAGE_S2_DEVICE. Signed-off-by: Kim Phillips kim.phill...@linaro.org --- arch/arm/kvm/mmu.c | 11 --- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/arch/arm/kvm/mmu.c b/arch/arm/kvm/mmu.c index 7789857..a354610 100644