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