I'm using XTCIEVMK2X ver4.0 board and trying to do some experiments with PTP and hardware time stamping. I'd like to attach an ISR handler to do some processing when a CPTS time synchronization event occurs. I've enabled the interrupt in TS_INT_ENABLE but looking through ARM CorePac Interrupts table (in SPRS866G), I'm unable to find which interrupt it corresponds with. Any help would be appreciated.