static inline int put_dwords(uint32_t addr, uint32_t *buf, int num)

{

    int i;



    for(i = 0; i < num; i++, buf++, addr += sizeof(*buf)) {

        uint32_t tmp = cpu_to_le32(*buf);

        cpu_physical_memory_rw(addr,(uint8_t *)&tmp, sizeof(tmp), 1);

    }



    return 1;

}

static inline int put_dwords(uint32_t addr, uint32_t *buf, int num)

{

    int i;



    for(i = 0; i < num; i++, buf++, addr += sizeof(*buf)) {

        uint32_t tmp = cpu_to_le32(*buf);

        cpu_physical_memory_rw(addr,(uint8_t *)&tmp, sizeof(tmp), 1);

    }



    return 1;

}

static inline int FUNC_0(uint32_t VAR_0, uint32_t *VAR_1, int VAR_2)

{

    int VAR_3;



    for(VAR_3 = 0; VAR_3 < VAR_2; VAR_3++, VAR_1++, VAR_0 += sizeof(*VAR_1)) {

        uint32_t tmp = cpu_to_le32(*VAR_1);

        cpu_physical_memory_rw(VAR_0,(uint8_t *)&tmp, sizeof(tmp), 1);

    }



    return 1;

}

static inline int FUNC_0(uint32_t VAR_0, uint32_t *VAR_1, int VAR_2)
{ int VAR_3; for(VAR_3 = 0; VAR_3 < VAR_2; VAR_3++, VAR_1++, VAR_0 += sizeof(*VAR_1)) { uint32_t tmp = cpu_to_le32(*VAR_1); cpu_physical_memory_rw(VAR_0,(uint8_t *)&tmp, sizeof(tmp), 1); } return 1; }