@@ -610,8 +610,7 @@ int __init construct_dom0(struct domain *d, const struct boot_module *image,
process_pending_softirqs();
if ( is_hvm_domain(d) )
- rc = dom0_construct_pvh(d, image->mod, image->headroom, initrd->mod,
- cmdline);
+ rc = dom0_construct_pvh(d, image, initrd, cmdline);
else if ( is_pv_domain(d) )
rc = dom0_construct_pv(d, image, initrd, cmdline);
else
@@ -1300,9 +1300,8 @@ static void __hwdom_init pvh_setup_mmcfg(struct domain *d)
}
}
-int __init dom0_construct_pvh(struct domain *d, const module_t *image,
- unsigned long image_headroom,
- module_t *initrd,
+int __init dom0_construct_pvh(struct domain *d, const struct boot_module *image,
+ struct boot_module *initrd,
const char *cmdline)
{
paddr_t entry, start_info;
@@ -1347,8 +1346,8 @@ int __init dom0_construct_pvh(struct domain *d, const module_t *image,
return rc;
}
- rc = pvh_load_kernel(d, image, image_headroom, initrd, bootstrap_map(image),
- cmdline, &entry, &start_info);
+ rc = pvh_load_kernel(d, image->mod, image->headroom, initrd->mod,
+ bootstrap_map_bm(image), cmdline, &entry, &start_info);
if ( rc )
{
printk("Failed to load Dom0 kernel\n");
@@ -17,9 +17,8 @@ int dom0_construct_pv(struct domain *d, const struct boot_module *image,
struct boot_module *initrd,
const char *cmdline);
-int dom0_construct_pvh(struct domain *d, const module_t *image,
- unsigned long image_headroom,
- module_t *initrd,
+int dom0_construct_pvh(struct domain *d, const struct boot_module *image,
+ struct boot_module *initrd,
const char *cmdline);
unsigned long dom0_paging_pages(const struct domain *d,