static uint64_t icp_control_read(void *opaque, target_phys_addr_t offset,

                                 unsigned size)

{

    switch (offset >> 2) {

    case 0: /* CP_IDFIELD */

        return 0x41034003;

    case 1: /* CP_FLASHPROG */

        return 0;

    case 2: /* CP_INTREG */

        return 0;

    case 3: /* CP_DECODE */

        return 0x11;

    default:

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

        return 0;

    }

}

static uint64_t icp_control_read(void *opaque, target_phys_addr_t offset,

                                 unsigned size)

{

    switch (offset >> 2) {

    case 0: 

        return 0x41034003;

    case 1: 

        return 0;

    case 2: 

        return 0;

    case 3: 

        return 0x11;

    default:

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

        return 0;

    }

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t offset,

                                 unsigned size)

{

    switch (offset >> 2) {

    case 0: 

        return 0x41034003;

    case 1: 

        return 0;

    case 2: 

        return 0;

    case 3: 

        return 0x11;

    default:

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

        return 0;

    }

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t offset,
unsigned size)
{ switch (offset >> 2) { case 0:
return 0x41034003; case 1:
return 0; case 2:
return 0; case 3:
return 0x11; default:
hw_error("FUNC_0: Bad offset %x\n", (int)offset); return 0; } }