GUEST_PREFIX_SHIFT
return vcpu->arch.sie_block->prefix << GUEST_PREFIX_SHIFT;
vcpu->arch.sie_block->prefix = prefix >> GUEST_PREFIX_SHIFT;
prefix = scb_s->prefix << GUEST_PREFIX_SHIFT;
prefix = cur->scb_s.prefix << GUEST_PREFIX_SHIFT;
u64 prefix = scb_s->prefix << GUEST_PREFIX_SHIFT;