void address_space_write(AddressSpace *as, target_phys_addr_t addr,

                         const uint8_t *buf, int len)

{

    address_space_rw(as, addr, (uint8_t *)buf, len, true);

}

void address_space_write(AddressSpace *as, target_phys_addr_t addr,

                         const uint8_t *buf, int len)

{

    address_space_rw(as, addr, (uint8_t *)buf, len, true);

}

void FUNC_0(AddressSpace *VAR_0, target_phys_addr_t VAR_1,

                         const uint8_t *VAR_2, int VAR_3)

{

    address_space_rw(VAR_0, VAR_1, (uint8_t *)VAR_2, VAR_3, true);

}

void FUNC_0(AddressSpace *VAR_0, target_phys_addr_t VAR_1,
const uint8_t *VAR_2, int VAR_3)
{ address_space_rw(VAR_0, VAR_1, (uint8_t *)VAR_2, VAR_3, true); }