xref: /openbmc/qemu/hw/s390x/ipl.c (revision 679cb8e1)
1 /*
2  * bootloader support
3  *
4  * Copyright IBM, Corp. 2012
5  *
6  * Authors:
7  *  Christian Borntraeger <borntraeger@de.ibm.com>
8  *
9  * This work is licensed under the terms of the GNU GPL, version 2 or (at your
10  * option) any later version.  See the COPYING file in the top-level directory.
11  *
12  */
13 
14 #include "qemu/osdep.h"
15 #include "qapi/error.h"
16 #include "sysemu/sysemu.h"
17 #include "cpu.h"
18 #include "elf.h"
19 #include "hw/loader.h"
20 #include "hw/boards.h"
21 #include "hw/s390x/virtio-ccw.h"
22 #include "hw/s390x/css.h"
23 #include "hw/s390x/ebcdic.h"
24 #include "ipl.h"
25 #include "qemu/error-report.h"
26 #include "qemu/config-file.h"
27 #include "qemu/cutils.h"
28 #include "qemu/option.h"
29 #include "exec/exec-all.h"
30 
31 #define KERN_IMAGE_START                0x010000UL
32 #define LINUX_MAGIC_ADDR                0x010008UL
33 #define KERN_PARM_AREA                  0x010480UL
34 #define INITRD_START                    0x800000UL
35 #define INITRD_PARM_START               0x010408UL
36 #define PARMFILE_START                  0x001000UL
37 #define ZIPL_IMAGE_START                0x009000UL
38 #define IPL_PSW_MASK                    (PSW_MASK_32 | PSW_MASK_64)
39 
40 static bool iplb_extended_needed(void *opaque)
41 {
42     S390IPLState *ipl = S390_IPL(object_resolve_path(TYPE_S390_IPL, NULL));
43 
44     return ipl->iplbext_migration;
45 }
46 
47 static const VMStateDescription vmstate_iplb_extended = {
48     .name = "ipl/iplb_extended",
49     .version_id = 0,
50     .minimum_version_id = 0,
51     .needed = iplb_extended_needed,
52     .fields = (VMStateField[]) {
53         VMSTATE_UINT8_ARRAY(reserved_ext, IplParameterBlock, 4096 - 200),
54         VMSTATE_END_OF_LIST()
55     }
56 };
57 
58 static const VMStateDescription vmstate_iplb = {
59     .name = "ipl/iplb",
60     .version_id = 0,
61     .minimum_version_id = 0,
62     .fields = (VMStateField[]) {
63         VMSTATE_UINT8_ARRAY(reserved1, IplParameterBlock, 110),
64         VMSTATE_UINT16(devno, IplParameterBlock),
65         VMSTATE_UINT8_ARRAY(reserved2, IplParameterBlock, 88),
66         VMSTATE_END_OF_LIST()
67     },
68     .subsections = (const VMStateDescription*[]) {
69         &vmstate_iplb_extended,
70         NULL
71     }
72 };
73 
74 static const VMStateDescription vmstate_ipl = {
75     .name = "ipl",
76     .version_id = 0,
77     .minimum_version_id = 0,
78     .fields = (VMStateField[]) {
79         VMSTATE_UINT64(compat_start_addr, S390IPLState),
80         VMSTATE_UINT64(compat_bios_start_addr, S390IPLState),
81         VMSTATE_STRUCT(iplb, S390IPLState, 0, vmstate_iplb, IplParameterBlock),
82         VMSTATE_BOOL(iplb_valid, S390IPLState),
83         VMSTATE_UINT8(cssid, S390IPLState),
84         VMSTATE_UINT8(ssid, S390IPLState),
85         VMSTATE_UINT16(devno, S390IPLState),
86         VMSTATE_END_OF_LIST()
87      }
88 };
89 
90 static S390IPLState *get_ipl_device(void)
91 {
92     return S390_IPL(object_resolve_path_type("", TYPE_S390_IPL, NULL));
93 }
94 
95 static uint64_t bios_translate_addr(void *opaque, uint64_t srcaddr)
96 {
97     uint64_t dstaddr = *(uint64_t *) opaque;
98     /*
99      * Assuming that our s390-ccw.img was linked for starting at address 0,
100      * we can simply add the destination address for the final location
101      */
102     return srcaddr + dstaddr;
103 }
104 
105 static void s390_ipl_realize(DeviceState *dev, Error **errp)
106 {
107     S390IPLState *ipl = S390_IPL(dev);
108     uint32_t *ipl_psw;
109     uint64_t pentry;
110     char *magic;
111     int kernel_size;
112     Error *err = NULL;
113 
114     int bios_size;
115     char *bios_filename;
116 
117     /*
118      * Always load the bios if it was enforced,
119      * even if an external kernel has been defined.
120      */
121     if (!ipl->kernel || ipl->enforce_bios) {
122         uint64_t fwbase = (MIN(ram_size, 0x80000000U) - 0x200000) & ~0xffffUL;
123 
124         if (bios_name == NULL) {
125             bios_name = ipl->firmware;
126         }
127 
128         bios_filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, bios_name);
129         if (bios_filename == NULL) {
130             error_setg(&err, "could not find stage1 bootloader");
131             goto error;
132         }
133 
134         bios_size = load_elf(bios_filename, NULL,
135                              bios_translate_addr, &fwbase,
136                              &ipl->bios_start_addr, NULL, NULL, 1,
137                              EM_S390, 0, 0);
138         if (bios_size > 0) {
139             /* Adjust ELF start address to final location */
140             ipl->bios_start_addr += fwbase;
141         } else {
142             /* Try to load non-ELF file */
143             bios_size = load_image_targphys(bios_filename, ZIPL_IMAGE_START,
144                                             4096);
145             ipl->bios_start_addr = ZIPL_IMAGE_START;
146         }
147         g_free(bios_filename);
148 
149         if (bios_size == -1) {
150             error_setg(&err, "could not load bootloader '%s'", bios_name);
151             goto error;
152         }
153 
154         /* default boot target is the bios */
155         ipl->start_addr = ipl->bios_start_addr;
156     }
157 
158     if (ipl->kernel) {
159         kernel_size = load_elf(ipl->kernel, NULL, NULL, NULL,
160                                &pentry, NULL,
161                                NULL, 1, EM_S390, 0, 0);
162         if (kernel_size < 0) {
163             kernel_size = load_image_targphys(ipl->kernel, 0, ram_size);
164             if (kernel_size < 0) {
165                 error_setg(&err, "could not load kernel '%s'", ipl->kernel);
166                 goto error;
167             }
168             /* if this is Linux use KERN_IMAGE_START */
169             magic = rom_ptr(LINUX_MAGIC_ADDR, 6);
170             if (magic && !memcmp(magic, "S390EP", 6)) {
171                 pentry = KERN_IMAGE_START;
172             } else {
173                 /* if not Linux load the address of the (short) IPL PSW */
174                 ipl_psw = rom_ptr(4, 4);
175                 if (ipl_psw) {
176                     pentry = be32_to_cpu(*ipl_psw) & 0x7fffffffUL;
177                 } else {
178                     error_setg(&err, "Could not get IPL PSW");
179                     goto error;
180                 }
181             }
182         }
183         /*
184          * Is it a Linux kernel (starting at 0x10000)? If yes, we fill in the
185          * kernel parameters here as well. Note: For old kernels (up to 3.2)
186          * we can not rely on the ELF entry point - it was 0x800 (the SALIPL
187          * loader) and it won't work. For this case we force it to 0x10000, too.
188          */
189         if (pentry == KERN_IMAGE_START || pentry == 0x800) {
190             char *parm_area = rom_ptr(KERN_PARM_AREA, strlen(ipl->cmdline) + 1);
191             ipl->start_addr = KERN_IMAGE_START;
192             /* Overwrite parameters in the kernel image, which are "rom" */
193             if (parm_area) {
194                 strcpy(parm_area, ipl->cmdline);
195             }
196         } else {
197             ipl->start_addr = pentry;
198         }
199 
200         if (ipl->initrd) {
201             ram_addr_t initrd_offset;
202             int initrd_size;
203             uint64_t *romptr;
204 
205             initrd_offset = INITRD_START;
206             while (kernel_size + 0x100000 > initrd_offset) {
207                 initrd_offset += 0x100000;
208             }
209             initrd_size = load_image_targphys(ipl->initrd, initrd_offset,
210                                               ram_size - initrd_offset);
211             if (initrd_size == -1) {
212                 error_setg(&err, "could not load initrd '%s'", ipl->initrd);
213                 goto error;
214             }
215 
216             /*
217              * we have to overwrite values in the kernel image,
218              * which are "rom"
219              */
220             romptr = rom_ptr(INITRD_PARM_START, 16);
221             if (romptr) {
222                 stq_p(romptr, initrd_offset);
223                 stq_p(romptr + 1, initrd_size);
224             }
225         }
226     }
227     /*
228      * Don't ever use the migrated values, they could come from a different
229      * BIOS and therefore don't work. But still migrate the values, so
230      * QEMUs relying on it don't break.
231      */
232     ipl->compat_start_addr = ipl->start_addr;
233     ipl->compat_bios_start_addr = ipl->bios_start_addr;
234     qemu_register_reset(qdev_reset_all_fn, dev);
235 error:
236     error_propagate(errp, err);
237 }
238 
239 static Property s390_ipl_properties[] = {
240     DEFINE_PROP_STRING("kernel", S390IPLState, kernel),
241     DEFINE_PROP_STRING("initrd", S390IPLState, initrd),
242     DEFINE_PROP_STRING("cmdline", S390IPLState, cmdline),
243     DEFINE_PROP_STRING("firmware", S390IPLState, firmware),
244     DEFINE_PROP_STRING("netboot_fw", S390IPLState, netboot_fw),
245     DEFINE_PROP_BOOL("enforce_bios", S390IPLState, enforce_bios, false),
246     DEFINE_PROP_BOOL("iplbext_migration", S390IPLState, iplbext_migration,
247                      true),
248     DEFINE_PROP_END_OF_LIST(),
249 };
250 
251 static void s390_ipl_set_boot_menu(S390IPLState *ipl)
252 {
253     QemuOptsList *plist = qemu_find_opts("boot-opts");
254     QemuOpts *opts = QTAILQ_FIRST(&plist->head);
255     const char *tmp;
256     unsigned long splash_time = 0;
257 
258     if (!get_boot_device(0)) {
259         if (boot_menu) {
260             error_report("boot menu requires a bootindex to be specified for "
261                          "the IPL device");
262         }
263         return;
264     }
265 
266     switch (ipl->iplb.pbt) {
267     case S390_IPL_TYPE_CCW:
268         /* In the absence of -boot menu, use zipl parameters */
269         if (!qemu_opt_get(opts, "menu")) {
270             ipl->qipl.qipl_flags |= QIPL_FLAG_BM_OPTS_ZIPL;
271             return;
272         }
273         break;
274     case S390_IPL_TYPE_QEMU_SCSI:
275         break;
276     default:
277         if (boot_menu) {
278             error_report("boot menu is not supported for this device type");
279         }
280         return;
281     }
282 
283     if (!boot_menu) {
284         return;
285     }
286 
287     ipl->qipl.qipl_flags |= QIPL_FLAG_BM_OPTS_CMD;
288 
289     tmp = qemu_opt_get(opts, "splash-time");
290 
291     if (tmp && qemu_strtoul(tmp, NULL, 10, &splash_time)) {
292         error_report("splash-time is invalid, forcing it to 0");
293         ipl->qipl.boot_menu_timeout = 0;
294         return;
295     }
296 
297     if (splash_time > 0xffffffff) {
298         error_report("splash-time is too large, forcing it to max value");
299         ipl->qipl.boot_menu_timeout = 0xffffffff;
300         return;
301     }
302 
303     ipl->qipl.boot_menu_timeout = cpu_to_be32(splash_time);
304 }
305 
306 static CcwDevice *s390_get_ccw_device(DeviceState *dev_st)
307 {
308     CcwDevice *ccw_dev = NULL;
309 
310     if (dev_st) {
311         VirtioCcwDevice *virtio_ccw_dev = (VirtioCcwDevice *)
312             object_dynamic_cast(OBJECT(qdev_get_parent_bus(dev_st)->parent),
313                                 TYPE_VIRTIO_CCW_DEVICE);
314         if (virtio_ccw_dev) {
315             ccw_dev = CCW_DEVICE(virtio_ccw_dev);
316         } else {
317             SCSIDevice *sd = (SCSIDevice *)
318                 object_dynamic_cast(OBJECT(dev_st),
319                                     TYPE_SCSI_DEVICE);
320             if (sd) {
321                 SCSIBus *bus = scsi_bus_from_device(sd);
322                 VirtIOSCSI *vdev = container_of(bus, VirtIOSCSI, bus);
323                 VirtIOSCSICcw *scsi_ccw = container_of(vdev, VirtIOSCSICcw,
324                                                        vdev);
325 
326                 ccw_dev = (CcwDevice *)object_dynamic_cast(OBJECT(scsi_ccw),
327                                                            TYPE_CCW_DEVICE);
328             }
329         }
330     }
331     return ccw_dev;
332 }
333 
334 static bool s390_gen_initial_iplb(S390IPLState *ipl)
335 {
336     DeviceState *dev_st;
337     CcwDevice *ccw_dev = NULL;
338 
339     dev_st = get_boot_device(0);
340     if (dev_st) {
341         ccw_dev = s390_get_ccw_device(dev_st);
342     }
343 
344     /*
345      * Currently allow IPL only from CCW devices.
346      */
347     if (ccw_dev) {
348         SCSIDevice *sd = (SCSIDevice *) object_dynamic_cast(OBJECT(dev_st),
349                                                             TYPE_SCSI_DEVICE);
350 
351         if (sd) {
352             ipl->iplb.len = cpu_to_be32(S390_IPLB_MIN_QEMU_SCSI_LEN);
353             ipl->iplb.blk0_len =
354                 cpu_to_be32(S390_IPLB_MIN_QEMU_SCSI_LEN - S390_IPLB_HEADER_LEN);
355             ipl->iplb.pbt = S390_IPL_TYPE_QEMU_SCSI;
356             ipl->iplb.scsi.lun = cpu_to_be32(sd->lun);
357             ipl->iplb.scsi.target = cpu_to_be16(sd->id);
358             ipl->iplb.scsi.channel = cpu_to_be16(sd->channel);
359             ipl->iplb.scsi.devno = cpu_to_be16(ccw_dev->sch->devno);
360             ipl->iplb.scsi.ssid = ccw_dev->sch->ssid & 3;
361         } else {
362             VirtIONet *vn = (VirtIONet *) object_dynamic_cast(OBJECT(dev_st),
363                                                               TYPE_VIRTIO_NET);
364 
365             ipl->iplb.len = cpu_to_be32(S390_IPLB_MIN_CCW_LEN);
366             ipl->iplb.blk0_len =
367                 cpu_to_be32(S390_IPLB_MIN_CCW_LEN - S390_IPLB_HEADER_LEN);
368             ipl->iplb.pbt = S390_IPL_TYPE_CCW;
369             ipl->iplb.ccw.devno = cpu_to_be16(ccw_dev->sch->devno);
370             ipl->iplb.ccw.ssid = ccw_dev->sch->ssid & 3;
371 
372             if (vn) {
373                 ipl->netboot = true;
374             }
375         }
376 
377         if (!s390_ipl_set_loadparm(ipl->iplb.loadparm)) {
378             ipl->iplb.flags |= DIAG308_FLAGS_LP_VALID;
379         }
380 
381         return true;
382     }
383 
384     return false;
385 }
386 
387 int s390_ipl_set_loadparm(uint8_t *loadparm)
388 {
389     MachineState *machine = MACHINE(qdev_get_machine());
390     char *lp = object_property_get_str(OBJECT(machine), "loadparm", NULL);
391 
392     if (lp) {
393         int i;
394 
395         /* lp is an uppercase string without leading/embedded spaces */
396         for (i = 0; i < 8 && lp[i]; i++) {
397             loadparm[i] = ascii2ebcdic[(uint8_t) lp[i]];
398         }
399 
400         if (i < 8) {
401             memset(loadparm + i, 0x40, 8 - i); /* fill with EBCDIC spaces */
402         }
403 
404         g_free(lp);
405         return 0;
406     }
407 
408     return -1;
409 }
410 
411 static int load_netboot_image(Error **errp)
412 {
413     S390IPLState *ipl = get_ipl_device();
414     char *netboot_filename;
415     MemoryRegion *sysmem =  get_system_memory();
416     MemoryRegion *mr = NULL;
417     void *ram_ptr = NULL;
418     int img_size = -1;
419 
420     mr = memory_region_find(sysmem, 0, 1).mr;
421     if (!mr) {
422         error_setg(errp, "Failed to find memory region at address 0");
423         return -1;
424     }
425 
426     ram_ptr = memory_region_get_ram_ptr(mr);
427     if (!ram_ptr) {
428         error_setg(errp, "No RAM found");
429         goto unref_mr;
430     }
431 
432     netboot_filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, ipl->netboot_fw);
433     if (netboot_filename == NULL) {
434         error_setg(errp, "Could not find network bootloader '%s'",
435                    ipl->netboot_fw);
436         goto unref_mr;
437     }
438 
439     img_size = load_elf_ram(netboot_filename, NULL, NULL, NULL,
440                             &ipl->start_addr,
441                             NULL, NULL, 1, EM_S390, 0, 0, NULL, false);
442 
443     if (img_size < 0) {
444         img_size = load_image_size(netboot_filename, ram_ptr, ram_size);
445         ipl->start_addr = KERN_IMAGE_START;
446     }
447 
448     if (img_size < 0) {
449         error_setg(errp, "Failed to load network bootloader");
450     }
451 
452     g_free(netboot_filename);
453 
454 unref_mr:
455     memory_region_unref(mr);
456     return img_size;
457 }
458 
459 static bool is_virtio_ccw_device_of_type(IplParameterBlock *iplb,
460                                          int virtio_id)
461 {
462     uint8_t cssid;
463     uint8_t ssid;
464     uint16_t devno;
465     uint16_t schid;
466     SubchDev *sch = NULL;
467 
468     if (iplb->pbt != S390_IPL_TYPE_CCW) {
469         return false;
470     }
471 
472     devno = be16_to_cpu(iplb->ccw.devno);
473     ssid = iplb->ccw.ssid & 3;
474 
475     for (schid = 0; schid < MAX_SCHID; schid++) {
476         for (cssid = 0; cssid < MAX_CSSID; cssid++) {
477             sch = css_find_subch(1, cssid, ssid, schid);
478 
479             if (sch && sch->devno == devno) {
480                 return sch->id.cu_model == virtio_id;
481             }
482         }
483     }
484     return false;
485 }
486 
487 static bool is_virtio_net_device(IplParameterBlock *iplb)
488 {
489     return is_virtio_ccw_device_of_type(iplb, VIRTIO_ID_NET);
490 }
491 
492 static bool is_virtio_scsi_device(IplParameterBlock *iplb)
493 {
494     return is_virtio_ccw_device_of_type(iplb, VIRTIO_ID_SCSI);
495 }
496 
497 void s390_ipl_update_diag308(IplParameterBlock *iplb)
498 {
499     S390IPLState *ipl = get_ipl_device();
500 
501     ipl->iplb = *iplb;
502     ipl->iplb_valid = true;
503     ipl->netboot = is_virtio_net_device(iplb);
504 }
505 
506 IplParameterBlock *s390_ipl_get_iplb(void)
507 {
508     S390IPLState *ipl = get_ipl_device();
509 
510     if (!ipl->iplb_valid) {
511         return NULL;
512     }
513     return &ipl->iplb;
514 }
515 
516 void s390_ipl_reset_request(CPUState *cs, enum s390_reset reset_type)
517 {
518     S390IPLState *ipl = get_ipl_device();
519 
520     if (reset_type == S390_RESET_EXTERNAL || reset_type == S390_RESET_REIPL) {
521         /* use CPU 0 for full resets */
522         ipl->reset_cpu_index = 0;
523     } else {
524         ipl->reset_cpu_index = cs->cpu_index;
525     }
526     ipl->reset_type = reset_type;
527 
528     if (reset_type == S390_RESET_REIPL &&
529         ipl->iplb_valid &&
530         !ipl->netboot &&
531         ipl->iplb.pbt == S390_IPL_TYPE_CCW &&
532         is_virtio_scsi_device(&ipl->iplb)) {
533         CcwDevice *ccw_dev = s390_get_ccw_device(get_boot_device(0));
534 
535         if (ccw_dev &&
536             cpu_to_be16(ccw_dev->sch->devno) == ipl->iplb.ccw.devno &&
537             (ccw_dev->sch->ssid & 3) == ipl->iplb.ccw.ssid) {
538             /*
539              * this is the original boot device's SCSI
540              * so restore IPL parameter info from it
541              */
542             ipl->iplb_valid = s390_gen_initial_iplb(ipl);
543         }
544     }
545     if (reset_type == S390_RESET_MODIFIED_CLEAR ||
546         reset_type == S390_RESET_LOAD_NORMAL) {
547         /* ignore -no-reboot, send no event  */
548         qemu_system_reset_request(SHUTDOWN_CAUSE_SUBSYSTEM_RESET);
549     } else {
550         qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET);
551     }
552     /* as this is triggered by a CPU, make sure to exit the loop */
553     if (tcg_enabled()) {
554         cpu_loop_exit(cs);
555     }
556 }
557 
558 void s390_ipl_get_reset_request(CPUState **cs, enum s390_reset *reset_type)
559 {
560     S390IPLState *ipl = get_ipl_device();
561 
562     *cs = qemu_get_cpu(ipl->reset_cpu_index);
563     if (!*cs) {
564         /* use any CPU */
565         *cs = first_cpu;
566     }
567     *reset_type = ipl->reset_type;
568 }
569 
570 void s390_ipl_clear_reset_request(void)
571 {
572     S390IPLState *ipl = get_ipl_device();
573 
574     ipl->reset_type = S390_RESET_EXTERNAL;
575     /* use CPU 0 for full resets */
576     ipl->reset_cpu_index = 0;
577 }
578 
579 static void s390_ipl_prepare_qipl(S390CPU *cpu)
580 {
581     S390IPLState *ipl = get_ipl_device();
582     uint8_t *addr;
583     uint64_t len = 4096;
584 
585     addr = cpu_physical_memory_map(cpu->env.psa, &len, 1);
586     if (!addr || len < QIPL_ADDRESS + sizeof(QemuIplParameters)) {
587         error_report("Cannot set QEMU IPL parameters");
588         return;
589     }
590     memcpy(addr + QIPL_ADDRESS, &ipl->qipl, sizeof(QemuIplParameters));
591     cpu_physical_memory_unmap(addr, len, 1, len);
592 }
593 
594 void s390_ipl_prepare_cpu(S390CPU *cpu)
595 {
596     S390IPLState *ipl = get_ipl_device();
597     Error *err = NULL;
598 
599     cpu->env.psw.addr = ipl->start_addr;
600     cpu->env.psw.mask = IPL_PSW_MASK;
601 
602     if (!ipl->kernel || ipl->iplb_valid) {
603         cpu->env.psw.addr = ipl->bios_start_addr;
604         if (!ipl->iplb_valid) {
605             ipl->iplb_valid = s390_gen_initial_iplb(ipl);
606         }
607     }
608     if (ipl->netboot) {
609         if (load_netboot_image(&err) < 0) {
610             error_report_err(err);
611             exit(1);
612         }
613         ipl->qipl.netboot_start_addr = cpu_to_be64(ipl->start_addr);
614     }
615     s390_ipl_set_boot_menu(ipl);
616     s390_ipl_prepare_qipl(cpu);
617 }
618 
619 static void s390_ipl_reset(DeviceState *dev)
620 {
621     S390IPLState *ipl = S390_IPL(dev);
622 
623     if (ipl->reset_type != S390_RESET_REIPL) {
624         ipl->iplb_valid = false;
625         memset(&ipl->iplb, 0, sizeof(IplParameterBlock));
626     }
627 }
628 
629 static void s390_ipl_class_init(ObjectClass *klass, void *data)
630 {
631     DeviceClass *dc = DEVICE_CLASS(klass);
632 
633     dc->realize = s390_ipl_realize;
634     dc->props = s390_ipl_properties;
635     dc->reset = s390_ipl_reset;
636     dc->vmsd = &vmstate_ipl;
637     set_bit(DEVICE_CATEGORY_MISC, dc->categories);
638     /* Reason: Loads the ROMs and thus can only be used one time - internally */
639     dc->user_creatable = false;
640 }
641 
642 static const TypeInfo s390_ipl_info = {
643     .class_init = s390_ipl_class_init,
644     .parent = TYPE_DEVICE,
645     .name  = TYPE_S390_IPL,
646     .instance_size  = sizeof(S390IPLState),
647 };
648 
649 static void s390_ipl_register_types(void)
650 {
651     type_register_static(&s390_ipl_info);
652 }
653 
654 type_init(s390_ipl_register_types)
655