|
@@ -65,6 +65,8 @@ static inline u32 kvm_s390_get_prefix(struct kvm_vcpu *vcpu)
|
|
|
|
|
|
static inline void kvm_s390_set_prefix(struct kvm_vcpu *vcpu, u32 prefix)
|
|
|
{
|
|
|
+ VCPU_EVENT(vcpu, 3, "set prefix of cpu %03u to 0x%x", vcpu->vcpu_id,
|
|
|
+ prefix);
|
|
|
vcpu->arch.sie_block->prefix = prefix >> GUEST_PREFIX_SHIFT;
|
|
|
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
|
|
|
kvm_make_request(KVM_REQ_MMU_RELOAD, vcpu);
|