static void msix_handle_mask_update(PCIDevice *dev, int vector)

{

    if (!msix_is_masked(dev, vector) && msix_is_pending(dev, vector)) {

        msix_clr_pending(dev, vector);

        msix_notify(dev, vector);

    }

}

static void msix_handle_mask_update(PCIDevice *dev, int vector)

{

    if (!msix_is_masked(dev, vector) && msix_is_pending(dev, vector)) {

        msix_clr_pending(dev, vector);

        msix_notify(dev, vector);

    }

}

static void msix_handle_mask_update(PCIDevice *dev, int vector)     if (!msix_is_masked(dev, vector) && msix_is_pending(dev, vector)) {
static void FUNC_0(PCIDevice *VAR_0, int VAR_1)

{

    if (!msix_is_masked(VAR_0, VAR_1) && msix_is_pending(VAR_0, VAR_1)) {

        msix_clr_pending(VAR_0, VAR_1);

        msix_notify(VAR_0, VAR_1);

    }

}

static void FUNC_0(PCIDevice *VAR_0, int VAR_1)
{ if (!msix_is_masked(VAR_0, VAR_1) && msix_is_pending(VAR_0, VAR_1)) { msix_clr_pending(VAR_0, VAR_1); msix_notify(VAR_0, VAR_1); } }