From 532c872902d6f9603a1e93b1b5f1bfa951a37bb1 Mon Sep 17 00:00:00 2001
From: Luciano Martin <lucianom@xmos.com>
Date: Wed, 9 Jan 2019 17:17:15 +0000
Subject: [PATCH] Fix PLL mask to reset tile

---
 lib_xua/src/core/support/reboot.xc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib_xua/src/core/support/reboot.xc b/lib_xua/src/core/support/reboot.xc
index 280b0b44..19fce62b 100644
--- a/lib_xua/src/core/support/reboot.xc
+++ b/lib_xua/src/core/support/reboot.xc
@@ -12,7 +12,7 @@
 #if (XUD_SERIES_SUPPORT == 4)
 #include "xs2_su_registers.h"
 #define XS2_SU_PERIPH_USB_ID 0x1
-#define PLL_MASK 0x7FFFFFFF
+#define PLL_MASK 0x3FFFFFFF
 #else
 #define PLL_MASK 0xFFFFFFFF
 #endif