Dear Lorenzo Galbiati,
I do not know if you use PIN interrupt or group interrupt.
If you use pin interrupt, you can check the section 9.5.1.10 Pin interrupt status register (IST address 0x4004 C024) , there are 8 pin interrupt source, each pin interrupt corresponds to one bit in the register. Writing 1 to the corresponding bit clears the bit in IST and corresponding the rising or falling edge registers.
For example PINTSEL0 corresponds to bit0 of IST, PINTSEL1 corresponds to bit1 of IST...
If you use GROUPx interrupt, pls refer to section 9.5.2.1 Grouped interrupt control register.
The INT bit of "GPIO grouped interrupt control register" reflects the interrupt status bit, you can write 1 to clear the bit.
Hope it can help you.
BR
XiangJun Rong