What A53 interrupt signal should I use for watchdog timeout?

I am implementing A53 dual core processor with GIC-400.  I would like to connect the watchdog timer interrupt request to a non-maskable A53 or GIC-400 interrupt input but I realize there isn't one.  Should I use nSEI [1:0]?