write_sclp
return write_sclp(vcpu, ext.ext_params);
return write_sclp(vcpu, ext.ext_params & SCCB_EVENT_PENDING);