The following name seems to work for an mtimecmp interrupt: void eclic_mtip_handler()
The following name seems not to work for the same interrupt: void CLIC_INT_TMR but this name is listed in gd32vf103.h at typedef enum IRQn, so it should be the one that works. Does anyone have an explanation?
Similarly, typedef enum IRQn also lists CLIC_INT_SFT which seems to be a software interrupt. How does it work?