void msi_uninit(struct PCIDevice *dev)

{

    uint16_t flags = pci_get_word(dev->config + msi_flags_off(dev));

    uint8_t cap_size = msi_cap_sizeof(flags);

    pci_del_capability(dev, PCI_CAP_ID_MSIX, cap_size);

    MSI_DEV_PRINTF(dev, "uninit\n");

}

void msi_uninit(struct PCIDevice *dev)

{

    uint16_t flags = pci_get_word(dev->config + msi_flags_off(dev));

    uint8_t cap_size = msi_cap_sizeof(flags);

    pci_del_capability(dev, PCI_CAP_ID_MSIX, cap_size);

    MSI_DEV_PRINTF(dev, "uninit\n");

}

    uint16_t flags = pci_get_word(dev->config + msi_flags_off(dev));     uint8_t cap_size = msi_cap_sizeof(flags);
void FUNC_0(struct PCIDevice *VAR_0)

{

    uint16_t flags = pci_get_word(VAR_0->config + msi_flags_off(VAR_0));

    uint8_t cap_size = msi_cap_sizeof(flags);

    pci_del_capability(VAR_0, PCI_CAP_ID_MSIX, cap_size);

    MSI_DEV_PRINTF(VAR_0, "uninit\n");

}

void FUNC_0(struct PCIDevice *VAR_0)
{ uint16_t flags = pci_get_word(VAR_0->config + msi_flags_off(VAR_0)); uint8_t cap_size = msi_cap_sizeof(flags); pci_del_capability(VAR_0, PCI_CAP_ID_MSIX, cap_size); MSI_DEV_PRINTF(VAR_0, "uninit\n"); }