void pci_device_save(PCIDevice *s, QEMUFile *f)

{

    int i;



    qemu_put_be32(f, s->version_id); /* PCI device version */

    qemu_put_buffer(f, s->config, 256);

    for (i = 0; i < 4; i++)

        qemu_put_be32(f, s->irq_state[i]);

}

void pci_device_save(PCIDevice *s, QEMUFile *f)

{

    int i;



    qemu_put_be32(f, s->version_id); 

    qemu_put_buffer(f, s->config, 256);

    for (i = 0; i < 4; i++)

        qemu_put_be32(f, s->irq_state[i]);

}

void FUNC_0(PCIDevice *VAR_0, QEMUFile *VAR_1)

{

    int VAR_2;



    qemu_put_be32(VAR_1, VAR_0->version_id); 

    qemu_put_buffer(VAR_1, VAR_0->config, 256);

    for (VAR_2 = 0; VAR_2 < 4; VAR_2++)

        qemu_put_be32(VAR_1, VAR_0->irq_state[VAR_2]);

}

void FUNC_0(PCIDevice *VAR_0, QEMUFile *VAR_1)
{ int VAR_2; qemu_put_be32(VAR_1, VAR_0->version_id); qemu_put_buffer(VAR_1, VAR_0->config, 256); for (VAR_2 = 0; VAR_2 < 4; VAR_2++) qemu_put_be32(VAR_1, VAR_0->irq_state[VAR_2]); }