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

{

    int i;



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

        cpu_physical_memory_rw(addr,(uint8_t *)buf, sizeof(*buf), 0);

        *buf = le32_to_cpu(*buf);

    }



    return 1;

}

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

{

    int i;



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

        cpu_physical_memory_rw(addr,(uint8_t *)buf, sizeof(*buf), 0);

        *buf = le32_to_cpu(*buf);

    }



    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)) {

        cpu_physical_memory_rw(VAR_0,(uint8_t *)VAR_1, sizeof(*VAR_1), 0);

        *VAR_1 = le32_to_cpu(*VAR_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)) { cpu_physical_memory_rw(VAR_0,(uint8_t *)VAR_1, sizeof(*VAR_1), 0); *VAR_1 = le32_to_cpu(*VAR_1); } return 1; }