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