static void msix_set_pending(PCIDevice *dev, int vector)

{

    *msix_pending_byte(dev, vector) |= msix_pending_mask(vector);

}

static void msix_set_pending(PCIDevice *dev, int vector)

{

    *msix_pending_byte(dev, vector) |= msix_pending_mask(vector);

}

static void FUNC_0(PCIDevice *VAR_0, int VAR_1)

{

    *msix_pending_byte(VAR_0, VAR_1) |= msix_pending_mask(VAR_1);

}

static void FUNC_0(PCIDevice *VAR_0, int VAR_1)
{ *msix_pending_byte(VAR_0, VAR_1) |= msix_pending_mask(VAR_1); }