[Xen-devel] xen/arm: VCPUOP_register_vcpu_info fails with CONFIG_ARM64_64K_PAGES

2015-03-24 Thread Vijay Kilari
Hi, Dom0 fails to boot with Xen with CONFIG_ARM64_64K_PAGES enabled because of map_vcpu_info() make check of page offset based of PAGE_SIZE which is 4K in Xen. Is this know issue that is fixed?. I am using 4.5 rc1 Xen code base. Log below: (XEN) DOM0: [0.173539] If your platform has any n

Re: [Xen-devel] xen/arm: VCPUOP_register_vcpu_info fails with CONFIG_ARM64_64K_PAGES

2015-03-25 Thread Ian Campbell
On Wed, 2015-03-25 at 12:22 +0530, Vijay Kilari wrote: > Hi, > >Dom0 fails to boot with Xen with CONFIG_ARM64_64K_PAGES enabled because of > map_vcpu_info() make check of page offset based of PAGE_SIZE which is 4K in > Xen. > Is this know issue that is fixed?. I am using 4.5 rc1 Xen code base

Re: [Xen-devel] xen/arm: VCPUOP_register_vcpu_info fails with CONFIG_ARM64_64K_PAGES

2015-03-25 Thread Julien Grall
Hi, On 25/03/15 10:10, Ian Campbell wrote: > On Wed, 2015-03-25 at 12:22 +0530, Vijay Kilari wrote: >> Hi, >> >>Dom0 fails to boot with Xen with CONFIG_ARM64_64K_PAGES enabled because of >> map_vcpu_info() make check of page offset based of PAGE_SIZE which is 4K in >> Xen. >> Is this know iss