Issues on <alt_interrupt.h> header file

Hi, I include the <alt_interrupt.h> in order to use the interrupt on HPS form fpga, I got the following error which I believe from this block in <alt_interrupt.h>: Could you pl...