void msix_save(PCIDevice *dev, QEMUFile *f)

{

    unsigned n = dev->msix_entries_nr;



    if (!(dev->cap_present & QEMU_PCI_CAP_MSIX)) {

        return;

    }



    qemu_put_buffer(f, dev->msix_table_page, n * PCI_MSIX_ENTRY_SIZE);

    qemu_put_buffer(f, dev->msix_table_page + MSIX_PAGE_PENDING, (n + 7) / 8);

}

void msix_save(PCIDevice *dev, QEMUFile *f)

{

    unsigned n = dev->msix_entries_nr;



    if (!(dev->cap_present & QEMU_PCI_CAP_MSIX)) {

        return;

    }



    qemu_put_buffer(f, dev->msix_table_page, n * PCI_MSIX_ENTRY_SIZE);

    qemu_put_buffer(f, dev->msix_table_page + MSIX_PAGE_PENDING, (n + 7) / 8);

}

void FUNC_0(PCIDevice *VAR_0, QEMUFile *VAR_1)

{

    unsigned VAR_2 = VAR_0->msix_entries_nr;



    if (!(VAR_0->cap_present & QEMU_PCI_CAP_MSIX)) {

        return;

    }



    qemu_put_buffer(VAR_1, VAR_0->msix_table_page, VAR_2 * PCI_MSIX_ENTRY_SIZE);

    qemu_put_buffer(VAR_1, VAR_0->msix_table_page + MSIX_PAGE_PENDING, (VAR_2 + 7) / 8);

}

void FUNC_0(PCIDevice *VAR_0, QEMUFile *VAR_1)
{ unsigned VAR_2 = VAR_0->msix_entries_nr; if (!(VAR_0->cap_present & QEMU_PCI_CAP_MSIX)) { return; } qemu_put_buffer(VAR_1, VAR_0->msix_table_page, VAR_2 * PCI_MSIX_ENTRY_SIZE); qemu_put_buffer(VAR_1, VAR_0->msix_table_page + MSIX_PAGE_PENDING, (VAR_2 + 7) / 8); }