static void read_storage_element1_info(SCLPDevice *sclp, SCCB *sccb)

{

    ReadStorageElementInfo *storage_info = (ReadStorageElementInfo *) sccb;

    sclpMemoryHotplugDev *mhd = get_sclp_memory_hotplug_dev();



    assert(mhd);



    if ((mhd->standby_mem_size >> mhd->increment_size) >= 0x10000) {

        sccb->h.response_code = cpu_to_be16(SCLP_RC_SCCB_BOUNDARY_VIOLATION);

        return;

    }



    /* Return information regarding standby memory */

    storage_info->max_id = cpu_to_be16(mhd->standby_mem_size ? 1 : 0);

    storage_info->assigned = cpu_to_be16(mhd->standby_mem_size >>

                                         mhd->increment_size);

    storage_info->standby = cpu_to_be16(mhd->standby_mem_size >>

                                        mhd->increment_size);

    sccb->h.response_code = cpu_to_be16(SCLP_RC_STANDBY_READ_COMPLETION);

}

static void read_storage_element1_info(SCLPDevice *sclp, SCCB *sccb)

{

    ReadStorageElementInfo *storage_info = (ReadStorageElementInfo *) sccb;

    sclpMemoryHotplugDev *mhd = get_sclp_memory_hotplug_dev();



    assert(mhd);



    if ((mhd->standby_mem_size >> mhd->increment_size) >= 0x10000) {

        sccb->h.response_code = cpu_to_be16(SCLP_RC_SCCB_BOUNDARY_VIOLATION);

        return;

    }



    

    storage_info->max_id = cpu_to_be16(mhd->standby_mem_size ? 1 : 0);

    storage_info->assigned = cpu_to_be16(mhd->standby_mem_size >>

                                         mhd->increment_size);

    storage_info->standby = cpu_to_be16(mhd->standby_mem_size >>

                                        mhd->increment_size);

    sccb->h.response_code = cpu_to_be16(SCLP_RC_STANDBY_READ_COMPLETION);

}

static void FUNC_0(SCLPDevice *VAR_0, SCCB *VAR_1)

{

    ReadStorageElementInfo *storage_info = (ReadStorageElementInfo *) VAR_1;

    sclpMemoryHotplugDev *mhd = get_sclp_memory_hotplug_dev();



    assert(mhd);



    if ((mhd->standby_mem_size >> mhd->increment_size) >= 0x10000) {

        VAR_1->h.response_code = cpu_to_be16(SCLP_RC_SCCB_BOUNDARY_VIOLATION);

        return;

    }



    

    storage_info->max_id = cpu_to_be16(mhd->standby_mem_size ? 1 : 0);

    storage_info->assigned = cpu_to_be16(mhd->standby_mem_size >>

                                         mhd->increment_size);

    storage_info->standby = cpu_to_be16(mhd->standby_mem_size >>

                                        mhd->increment_size);

    VAR_1->h.response_code = cpu_to_be16(SCLP_RC_STANDBY_READ_COMPLETION);

}

static void FUNC_0(SCLPDevice *VAR_0, SCCB *VAR_1)
{ ReadStorageElementInfo *storage_info = (ReadStorageElementInfo *) VAR_1; sclpMemoryHotplugDev *mhd = get_sclp_memory_hotplug_dev(); assert(mhd); if ((mhd->standby_mem_size >> mhd->increment_size) >= 0x10000) { VAR_1->h.response_code = cpu_to_be16(SCLP_RC_SCCB_BOUNDARY_VIOLATION); return; } storage_info->max_id = cpu_to_be16(mhd->standby_mem_size ? 1 : 0); storage_info->assigned = cpu_to_be16(mhd->standby_mem_size >>
mhd->increment_size); storage_info->standby = cpu_to_be16(mhd->standby_mem_size >>
mhd->increment_size); VAR_1->h.response_code = cpu_to_be16(SCLP_RC_STANDBY_READ_COMPLETION); }