kvm_check_nested_events
r = kvm_check_nested_events(vcpu);
int r = kvm_check_nested_events(vcpu);
int kvm_check_nested_events(struct kvm_vcpu *vcpu);