static int trap_msix(S390PCIBusDevice *pbdev, uint64_t offset, uint8_t pcias)

{

    if (pbdev->msix.available && pbdev->msix.table_bar == pcias &&

        offset >= pbdev->msix.table_offset &&

        offset <= pbdev->msix.table_offset +

                  (pbdev->msix.entries - 1) * PCI_MSIX_ENTRY_SIZE) {

        return 1;

    } else {

        return 0;

    }

}

static int trap_msix(S390PCIBusDevice *pbdev, uint64_t offset, uint8_t pcias)

{

    if (pbdev->msix.available && pbdev->msix.table_bar == pcias &&

        offset >= pbdev->msix.table_offset &&

        offset <= pbdev->msix.table_offset +

                  (pbdev->msix.entries - 1) * PCI_MSIX_ENTRY_SIZE) {

        return 1;

    } else {

        return 0;

    }

}

static int FUNC_0(S390PCIBusDevice *VAR_0, uint64_t VAR_1, uint8_t VAR_2)

{

    if (VAR_0->msix.available && VAR_0->msix.table_bar == VAR_2 &&

        VAR_1 >= VAR_0->msix.table_offset &&

        VAR_1 <= VAR_0->msix.table_offset +

                  (VAR_0->msix.entries - 1) * PCI_MSIX_ENTRY_SIZE) {

        return 1;

    } else {

        return 0;

    }

}

static int FUNC_0(S390PCIBusDevice *VAR_0, uint64_t VAR_1, uint8_t VAR_2)
{ if (VAR_0->msix.available && VAR_0->msix.table_bar == VAR_2 &&
VAR_1 >= VAR_0->msix.table_offset &&
VAR_1 <= VAR_0->msix.table_offset +
(VAR_0->msix.entries - 1) * PCI_MSIX_ENTRY_SIZE) { return 1; } else { return 0; } }