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