How to setup a time interrupt on de10 standard using C language

Hi, I'm a rookie of the SoCFPGA and I wanted to use it to build a FSM in HPS. I have already finished building the system design as "User Manu" said and get the hps_0.h header file out. I built my ...