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;

    }

}
