static void icp_control_write(void *opaque, target_phys_addr_t offset,

                          uint64_t value, unsigned size)

{

    switch (offset >> 2) {

    case 1: /* CP_FLASHPROG */

    case 2: /* CP_INTREG */

    case 3: /* CP_DECODE */

        /* Nothing interesting implemented yet.  */

        break;

    default:

        hw_error("icp_control_write: Bad offset %x\n", (int)offset);

    }

}

static void icp_control_write(void *opaque, target_phys_addr_t offset,

                          uint64_t value, unsigned size)

{

    switch (offset >> 2) {

    case 1: 

    case 2: 

    case 3: 

        

        break;

    default:

        hw_error("icp_control_write: Bad offset %x\n", (int)offset);

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                          uint64_t VAR_2, unsigned VAR_3)

{

    switch (VAR_1 >> 2) {

    case 1: 

    case 2: 

    case 3: 

        

        break;

    default:

        hw_error("FUNC_0: Bad VAR_1 %x\n", (int)VAR_1);

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ switch (VAR_1 >> 2) { case 1:
case 2:
case 3:
break; default:
hw_error("FUNC_0: Bad VAR_1 %x\n", (int)VAR_1); } }