diff --git a/lib_xua/src/core/support/reboot.xc b/lib_xua/src/core/support/reboot.xc
index fbc11f6c..d94a9e43 100644
--- a/lib_xua/src/core/support/reboot.xc
+++ b/lib_xua/src/core/support/reboot.xc
@@ -74,7 +74,7 @@ void device_reboot(void)
         }
     }
 
-#ifdef __XS2A__
+#if defined(__XS2A__) || defined(__XS3A__)
     /* Reset all even tiles, starting from the remote ones */
     for(int tileNum = tileArrayLength-2;  tileNum>=0; tileNum-=2)
 #else
@@ -86,7 +86,7 @@ void device_reboot(void)
         tileId = get_tile_id(tile[tileNum]);
 
         /* Do not reboot local tile (or tiles residing on the same node) yet */
-#ifdef __XS2A__
+#if defined(__XS2A__) || defined(__XS3A__)
         if((localTileNum | 1) != (tileNum | 1))
 
 #else