assigned_dev_msix_mmio_read(void *opaque, target_phys_addr_t addr,

                            unsigned size)

{

    AssignedDevice *adev = opaque;

    uint64_t val;



    memcpy(&val, (void *)((uint8_t *)adev->msix_table + addr), size);



    return val;

}

assigned_dev_msix_mmio_read(void *opaque, target_phys_addr_t addr,

                            unsigned size)

{

    AssignedDevice *adev = opaque;

    uint64_t val;



    memcpy(&val, (void *)((uint8_t *)adev->msix_table + addr), size);



    return val;

}

FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                            unsigned VAR_2)

{

    AssignedDevice *adev = VAR_0;

    uint64_t val;



    memcpy(&val, (void *)((uint8_t *)adev->msix_table + VAR_1), VAR_2);



    return val;

}

FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
unsigned VAR_2)
{ AssignedDevice *adev = VAR_0; uint64_t val; memcpy(&val, (void *)((uint8_t *)adev->msix_table + VAR_1), VAR_2); return val; }