|
@@ -227,6 +227,7 @@ int kvm_cpu_has_interrupt(struct kvm_vcpu *vcpu);
|
|
int psw_extint_disabled(struct kvm_vcpu *vcpu);
|
|
int psw_extint_disabled(struct kvm_vcpu *vcpu);
|
|
void kvm_s390_destroy_adapters(struct kvm *kvm);
|
|
void kvm_s390_destroy_adapters(struct kvm *kvm);
|
|
int kvm_s390_si_ext_call_pending(struct kvm_vcpu *vcpu);
|
|
int kvm_s390_si_ext_call_pending(struct kvm_vcpu *vcpu);
|
|
|
|
+extern struct kvm_device_ops kvm_flic_ops;
|
|
|
|
|
|
/* implemented in guestdbg.c */
|
|
/* implemented in guestdbg.c */
|
|
void kvm_s390_backup_guest_per_regs(struct kvm_vcpu *vcpu);
|
|
void kvm_s390_backup_guest_per_regs(struct kvm_vcpu *vcpu);
|