static void pc_init_pci_1_5(QEMUMachineInitArgs *args) { pc_init_pci_1_6(args); }
static void pc_init_pci_1_5(QEMUMachineInitArgs *args) { has_pvpanic = true; pc_init_pci_1_6(args); }