static int msix_is_masked(PCIDevice *dev, int vector)

{

    unsigned offset =

        vector * PCI_MSIX_ENTRY_SIZE + PCI_MSIX_ENTRY_VECTOR_CTRL;

    return dev->msix_function_masked ||

	   dev->msix_table_page[offset] & PCI_MSIX_ENTRY_CTRL_MASKBIT;

}

static int msix_is_masked(PCIDevice *dev, int vector)

{

    unsigned offset =

        vector * PCI_MSIX_ENTRY_SIZE + PCI_MSIX_ENTRY_VECTOR_CTRL;

    return dev->msix_function_masked ||

	   dev->msix_table_page[offset] & PCI_MSIX_ENTRY_CTRL_MASKBIT;

}

static int msix_is_masked(PCIDevice *dev, int vector)     unsigned offset =         vector * PCI_MSIX_ENTRY_SIZE + PCI_MSIX_ENTRY_VECTOR_CTRL;     return dev->msix_function_masked || 	   dev->msix_table_page[offset] & PCI_MSIX_ENTRY_CTRL_MASKBIT;
static int FUNC_0(PCIDevice *VAR_0, int VAR_1)

{

    unsigned VAR_2 =

        VAR_1 * PCI_MSIX_ENTRY_SIZE + PCI_MSIX_ENTRY_VECTOR_CTRL;

    return VAR_0->msix_function_masked ||

	   VAR_0->msix_table_page[VAR_2] & PCI_MSIX_ENTRY_CTRL_MASKBIT;

}

static int FUNC_0(PCIDevice *VAR_0, int VAR_1)
{ unsigned VAR_2 =
VAR_1 * PCI_MSIX_ENTRY_SIZE + PCI_MSIX_ENTRY_VECTOR_CTRL; return VAR_0->msix_function_masked ||
VAR_0->msix_table_page[VAR_2] & PCI_MSIX_ENTRY_CTRL_MASKBIT; }