@@ -222,7 +222,7 @@ static Property s390_ipl_properties[] = {
DEFINE_PROP_END_OF_LIST(),
};
-static void s390_ipl_set_boot_menu(IplParameterBlock *iplb)
+static void s390_ipl_set_boot_menu(S390IPLState *ipl)
{
QemuOptsList *plist = qemu_find_opts("boot-opts");
QemuOpts *opts = QTAILQ_FIRST(&plist->head);
@@ -231,11 +231,11 @@ static void s390_ipl_set_boot_menu(IplParameterBlock *iplb)
const char *tmp;
unsigned long splash_time = 0;
- switch (iplb->pbt) {
+ switch (ipl->iplb.pbt) {
case S390_IPL_TYPE_CCW:
case S390_IPL_TYPE_QEMU_SCSI:
- flags = &iplb->qipl.boot_menu_flags;
- timeout = &iplb->qipl.boot_menu_timeout;
+ flags = &ipl->qipl.boot_menu_flags;
+ timeout = &ipl->qipl.boot_menu_timeout;
break;
default:
error_report("boot menu is not supported for this device type.");
@@ -482,7 +482,7 @@ void s390_ipl_prepare_cpu(S390CPU *cpu)
}
ipl->qipl.netboot_start_addr = cpu_to_be64(ipl->start_addr);
}
- s390_ipl_set_boot_menu(&ipl->iplb);
+ s390_ipl_set_boot_menu(ipl);
s390_ipl_prepare_qipl(cpu);
}