static uint32_t msix_mmio_readl(void *opaque, target_phys_addr_t addr)

{

    PCIDevice *dev = opaque;

    unsigned int offset = addr & (MSIX_PAGE_SIZE - 1);

    void *page = dev->msix_table_page;

    uint32_t val = 0;



    memcpy(&val, (void *)((char *)page + offset), 4);



    return val;

}

static uint32_t msix_mmio_readl(void *opaque, target_phys_addr_t addr)

{

    PCIDevice *dev = opaque;

    unsigned int offset = addr & (MSIX_PAGE_SIZE - 1);

    void *page = dev->msix_table_page;

    uint32_t val = 0;



    memcpy(&val, (void *)((char *)page + offset), 4);



    return val;

}

    unsigned int offset = addr & (MSIX_PAGE_SIZE - 1);     uint32_t val = 0;     memcpy(&val, (void *)((char *)page + offset), 4);     return val;     unsigned int offset = addr & (MSIX_PAGE_SIZE - 1);
static uint32_t FUNC_0(void *opaque, target_phys_addr_t addr)

{

    PCIDevice *dev = opaque;

    unsigned int VAR_0 = addr & (MSIX_PAGE_SIZE - 1);

    void *VAR_1 = dev->msix_table_page;

    uint32_t val = 0;



    memcpy(&val, (void *)((char *)VAR_1 + VAR_0), 4);



    return val;

}

static uint32_t FUNC_0(void *opaque, target_phys_addr_t addr)
{ PCIDevice *dev = opaque; unsigned int VAR_0 = addr & (MSIX_PAGE_SIZE - 1); void *VAR_1 = dev->msix_table_page; uint32_t val = 0; memcpy(&val, (void *)((char *)VAR_1 + VAR_0), 4); return val; }