Watchdog timer for the LPC4088

no such method: docs