__kvm_arm_vcpu_get_events
int __kvm_arm_vcpu_get_events(struct kvm_vcpu *vcpu,
return __kvm_arm_vcpu_get_events(vcpu, events);