From 9e76d68aed58ef8f545335089c3cd180aa358fef Mon Sep 17 00:00:00 2001
From: Luciano Martin <lucianom@xmos.com>
Date: Mon, 11 Dec 2017 11:42:51 +0000
Subject: [PATCH] - added missing changes

---
 lib_xua/src/core/support/reboot.xc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib_xua/src/core/support/reboot.xc b/lib_xua/src/core/support/reboot.xc
index 5e495cab..c8674aef 100644
--- a/lib_xua/src/core/support/reboot.xc
+++ b/lib_xua/src/core/support/reboot.xc
@@ -25,7 +25,6 @@ void reset_tile(unsigned tileId)
 {
     unsigned int pllVal;
 
-    /* Cannot cast tileref to unsigned! */
     read_sswitch_reg(tileId, 6, pllVal);
     pllVal &= PLL_MASK;
     write_sswitch_reg_no_ack(tileId, 6, pllVal);
@@ -63,6 +62,10 @@ void device_reboot_aux(void)
     for(int i = tileArrayLength-2;  i>=0; i=i-2)
     #endif 
     {
+
+        /* Cannot cast tileref to unsigned! */
+        tileId = get_tile_id(tile[i]);
+
         /* Do not reboot local tile yet! */
         if(localTileId != tileId)
         {