static int vtd_int_remap(X86IOMMUState *iommu, MSIMessage *src,

                         MSIMessage *dst, uint16_t sid)

{

    return vtd_interrupt_remap_msi(INTEL_IOMMU_DEVICE(iommu), src, dst);

}

static int vtd_int_remap(X86IOMMUState *iommu, MSIMessage *src,

                         MSIMessage *dst, uint16_t sid)

{

    return vtd_interrupt_remap_msi(INTEL_IOMMU_DEVICE(iommu), src, dst);

}

static int FUNC_0(X86IOMMUState *VAR_0, MSIMessage *VAR_1,

                         MSIMessage *VAR_2, uint16_t VAR_3)

{

    return vtd_interrupt_remap_msi(INTEL_IOMMU_DEVICE(VAR_0), VAR_1, VAR_2);

}

static int FUNC_0(X86IOMMUState *VAR_0, MSIMessage *VAR_1,
MSIMessage *VAR_2, uint16_t VAR_3)
{ return vtd_interrupt_remap_msi(INTEL_IOMMU_DEVICE(VAR_0), VAR_1, VAR_2); }