23.4.6 Watchdog Interrupt
If PS_WDT_IMR.RPTHINT is set to '1' and a repeat threshold violation occurs in the PSWDT, a programmable secure interrupt is generated.
If NS_WDT_IMR.RPTHINT is set to '1' and a repeat threshold violation occurs in the NSWDT, a never secure interrupt is generated.
If PS_WDT_IMR.NSRPTHINT is set to '1' and a repeat threshold violation occurs in the NSWDT, a programmable secure interrupt is generated.
If a reset is generated or if PS_WDT_SR or NS_WDT_SR is read, the status bits are reset, the interrupt is cleared, and the “wdt_fault” signal to the reset controller is deasserted.