isc_to_isc_bits
if (isc_mask & isc_to_isc_bits(isc))
if (!(vcpu->arch.sie_block->gcr[6] & isc_to_isc_bits(i)))