static int pci_read_devaddr(Monitor *mon, const char *addr,

                            int *busp, unsigned *slotp)

{

    int dom;



    /* strip legacy tag */

    if (!strncmp(addr, "pci_addr=", 9)) {

        addr += 9;

    }

    if (pci_parse_devaddr(addr, &dom, busp, slotp, NULL)) {

        monitor_printf(mon, "Invalid pci address\n");

        return -1;

    }

    if (dom != 0) {

        monitor_printf(mon, "Multiple PCI domains not supported, use device_add\n");

        return -1;

    }

    return 0;

}

static int pci_read_devaddr(Monitor *mon, const char *addr,

                            int *busp, unsigned *slotp)

{

    int dom;



    

    if (!strncmp(addr, "pci_addr=", 9)) {

        addr += 9;

    }

    if (pci_parse_devaddr(addr, &dom, busp, slotp, NULL)) {

        monitor_printf(mon, "Invalid pci address\n");

        return -1;

    }

    if (dom != 0) {

        monitor_printf(mon, "Multiple PCI domains not supported, use device_add\n");

        return -1;

    }

    return 0;

}

static int pci_read_devaddr(Monitor *mon, const char *addr,                             int *busp, unsigned *slotp)     int dom;     if (!strncmp(addr, "pci_addr=", 9)) {         addr += 9;     if (pci_parse_devaddr(addr, &dom, busp, slotp, NULL)) {         monitor_printf(mon, "Invalid pci address\n");         return -1;     if (dom != 0) {         monitor_printf(mon, "Multiple PCI domains not supported, use device_add\n");         return -1;     return 0;         return -1;     return 0;     return 0;         return -1;         return -1;         return -1;         return -1;     return 0;
static int FUNC_0(Monitor *VAR_0, const char *VAR_1,

                            int *VAR_2, unsigned *VAR_3)

{

    int VAR_4;



    

    if (!strncmp(VAR_1, "pci_addr=", 9)) {

        VAR_1 += 9;

    }

    if (pci_parse_devaddr(VAR_1, &VAR_4, VAR_2, VAR_3, NULL)) {

        monitor_printf(VAR_0, "Invalid pci address\n");

        return -1;

    }

    if (VAR_4 != 0) {

        monitor_printf(VAR_0, "Multiple PCI domains not supported, use device_add\n");

        return -1;

    }

    return 0;

}

static int FUNC_0(Monitor *VAR_0, const char *VAR_1,
int *VAR_2, unsigned *VAR_3)
{ int VAR_4; if (!strncmp(VAR_1, "pci_addr=", 9)) { VAR_1 += 9; } if (pci_parse_devaddr(VAR_1, &VAR_4, VAR_2, VAR_3, NULL)) { monitor_printf(VAR_0, "Invalid pci address\n"); return -1; } if (VAR_4 != 0) { monitor_printf(VAR_0, "Multiple PCI domains not supported, use device_add\n"); return -1; } return 0; }