|
@@ -75,6 +75,11 @@ DEFINE_PER_CPU(struct vcpu_info, xen_vcpu_info);
|
|
|
enum xen_domain_type xen_domain_type = XEN_NATIVE;
|
|
|
EXPORT_SYMBOL_GPL(xen_domain_type);
|
|
|
|
|
|
+unsigned long *machine_to_phys_mapping = (void *)MACH2PHYS_VIRT_START;
|
|
|
+EXPORT_SYMBOL(machine_to_phys_mapping);
|
|
|
+unsigned int machine_to_phys_order;
|
|
|
+EXPORT_SYMBOL(machine_to_phys_order);
|
|
|
+
|
|
|
struct start_info *xen_start_info;
|
|
|
EXPORT_SYMBOL_GPL(xen_start_info);
|
|
|
|
|
@@ -1097,6 +1102,8 @@ asmlinkage void __init xen_start_kernel(void)
|
|
|
|
|
|
xen_domain_type = XEN_PV_DOMAIN;
|
|
|
|
|
|
+ xen_setup_machphys_mapping();
|
|
|
+
|
|
|
/* Install Xen paravirt ops */
|
|
|
pv_info = xen_info;
|
|
|
pv_init_ops = xen_init_ops;
|