static void assigned_dev_ioport_write(void *opaque, target_phys_addr_t addr,

                                      uint64_t data, unsigned size)

{

    assigned_dev_ioport_rw(opaque, addr, size, &data);

}

static void assigned_dev_ioport_write(void *opaque, target_phys_addr_t addr,

                                      uint64_t data, unsigned size)

{

    assigned_dev_ioport_rw(opaque, addr, size, &data);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                                      uint64_t VAR_2, unsigned VAR_3)

{

    assigned_dev_ioport_rw(VAR_0, VAR_1, VAR_3, &VAR_2);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ assigned_dev_ioport_rw(VAR_0, VAR_1, VAR_3, &VAR_2); }