static void pci_error_message(Monitor *mon)

{

    monitor_printf(mon, "PCI devices not supported\n");

}

static void pci_error_message(Monitor *mon)

{

    monitor_printf(mon, "PCI devices not supported\n");

}

static void pci_error_message(Monitor *mon)
static void FUNC_0(Monitor *VAR_0)

{

    monitor_printf(VAR_0, "PCI devices not supported\n");

}

static void FUNC_0(Monitor *VAR_0)
{ monitor_printf(VAR_0, "PCI devices not supported\n"); }