KVM_REQ_REFRESH_GUEST_PREFIX
kvm_s390_sync_request(KVM_REQ_REFRESH_GUEST_PREFIX, vcpu);
if (kvm_check_request(KVM_REQ_REFRESH_GUEST_PREFIX, vcpu)) {
kvm_make_request(KVM_REQ_REFRESH_GUEST_PREFIX, vcpu);
kvm_make_request(KVM_REQ_REFRESH_GUEST_PREFIX, vcpu);