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