__kvm_skip_events_s390
return __kvm_skip_events_s390();
const char * const *__kvm_skip_events_s390(void);