How can I work with watchdog with Arduino DUE R3 ?

Recently, I came up with a problem when I use Arduino due r3 with watchdog, the "avr/wdt.h" does not work with my hardware.
Then, I surf the internet and dose not found a feasible solution. I have tried with void(* resetFunc) (void) = 0, but it does not work; and sentence SCB->AIRCR = ((0x5FA << SCB_AIRCR_VECTKEY_Pos) | SCB_AIRCR_SYSRESETREQ_Msk), this work but not I Want. I know due r3 is arm, but I don't know how to solve this problem? is there any one can help me ? thanks a lot!

https://forum.arduino.cc/index.php?topic=506052.0

Is that mean if my reset interval is 5 second, i only need to change the secense:
WDT->WDT_MR = WDT_MR_WDD(0xFFF)
| WDT_MR_WDRPROC
| WDT_MR_WDRSTEN
| WDT_MR_WDV(256 * 5);
? Not care about 84MHz?