Re: [Xen-devel] [PATCH v2 07/23] xen/arm: Xen detection and shared_info page mapping

2012-08-08 Thread Stefano Stabellini
On Mon, 6 Aug 2012, David Vrabel wrote: > On 06/08/12 15:27, Stefano Stabellini wrote: > > Check for a "/xen" node in the device tree, if it is present set > > xen_domain_type to XEN_HVM_DOMAIN and continue initialization. > > > > Map the real shared info page using XENMEM_add_to_physmap with > >

Re: [PATCH v2 07/23] xen/arm: Xen detection and shared_info page mapping

2012-08-07 Thread Konrad Rzeszutek Wilk
On Mon, Aug 06, 2012 at 03:27:10PM +0100, Stefano Stabellini wrote: > Check for a "/xen" node in the device tree, if it is present set > xen_domain_type to XEN_HVM_DOMAIN and continue initialization. > > Map the real shared info page using XENMEM_add_to_physmap with > XENMAPSPACE_shared_info. > >

Re: [Xen-devel] [PATCH v2 07/23] xen/arm: Xen detection and shared_info page mapping

2012-08-06 Thread David Vrabel
On 06/08/12 15:27, Stefano Stabellini wrote: > Check for a "/xen" node in the device tree, if it is present set > xen_domain_type to XEN_HVM_DOMAIN and continue initialization. > > Map the real shared info page using XENMEM_add_to_physmap with > XENMAPSPACE_shared_info. > > Changes in v2: > > -

[PATCH v2 07/23] xen/arm: Xen detection and shared_info page mapping

2012-08-06 Thread Stefano Stabellini
Check for a "/xen" node in the device tree, if it is present set xen_domain_type to XEN_HVM_DOMAIN and continue initialization. Map the real shared info page using XENMEM_add_to_physmap with XENMAPSPACE_shared_info. Changes in v2: - replace pr_info with pr_debug. Signed-off-by: Stefano Stabelli