[IA64] Kexec: Call xen_machine_kexec_register_resources

For kexec on xen xen_machine_kexec_register_resources() needs
to be called at boot time.

Signed-off-by: Simon Horman <horms@verge.net.au>

diff --git a/arch/ia64/kernel/efi.c b/arch/ia64/kernel/efi.c
index 9b96e7dbaf6710d5eb196f31c20baceed551ab7c..b06c04e1c20e418dcab6521a74822f62a15ffe1f 100644 (file)
--- a/arch/ia64/kernel/efi.c
+++ b/arch/ia64/kernel/efi.c
@@ -1128,6 +1128,10 @@ efi_initialize_iomem_resources(struct resource *code_resource,
                         insert_resource(res, &boot_param_res);
                        if (crashk_res.end > crashk_res.start)
                                insert_resource(res, &crashk_res);
+#ifdef CONFIG_XEN
+                       if (is_initial_xendomain())
+                               xen_machine_kexec_register_resources(res);
+#endif
 #endif
                }
        }