|
@@ -818,6 +818,8 @@ static int handle_stfle(struct kvm_vcpu *vcpu, struct vsie_page *vsie_page)
|
|
|
* - < 0 if an error occurred
|
|
|
*/
|
|
|
static int do_vsie_run(struct kvm_vcpu *vcpu, struct vsie_page *vsie_page)
|
|
|
+ __releases(vcpu->kvm->srcu)
|
|
|
+ __acquires(vcpu->kvm->srcu)
|
|
|
{
|
|
|
struct kvm_s390_sie_block *scb_s = &vsie_page->scb_s;
|
|
|
struct kvm_s390_sie_block *scb_o = vsie_page->scb_o;
|