--- b/sys/arm64/arm64/vm_machdep.c	
+++ b/sys/arm64/arm64/vm_machdep.c	
@@ -26,6 +26,7 @@ 
  */
 
 #include "opt_platform.h"
+#include "opt_soc.h"
 
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
@@ -57,6 +58,10 @@ __FBSDID("$FreeBSD$");
 
 #include <dev/psci/psci.h>
 
+#ifdef SOC_BRCM_BCM2838
+#include <arm/broadcom/bcm2835/bcm2835_wdog.h>
+#endif
+
 /*
  * Finish a fork operation, with process p2 nearly set up.
  * Copy and update the pcb, set up the stack so that the child
@@ -126,6 +131,9 @@ void
 cpu_reset(void)
 {
 
+#ifdef SOC_BRCM_BCM2838
+	bcmwd_watchdog_reset();
+#endif
 	psci_reset();
 
 	printf("cpu_reset failed");