static void dchip_write(void *opaque, target_phys_addr_t addr,

                        uint64_t val, unsigned size)

{

    /* Skip this.  It's all related to DRAM timing and setup.  */

}

static void dchip_write(void *opaque, target_phys_addr_t addr,

                        uint64_t val, unsigned size)

{

    

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                        uint64_t VAR_2, unsigned VAR_3)

{

    

}

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