vIRQ: Add counterpart of NVIC_SystemReset API

Author: AlessandroA

api/inc/cmsis_nvic_virtual.h

@@ -29,5 +29,6 @@
 #define NVIC_GetActive              __NVIC_GetActive
 #define NVIC_SetPriority            vIRQ_SetPriority
 #define NVIC_GetPriority            vIRQ_GetPriority
+#define NVIC_SystemReset            vIRQ_SystemReset
 
 #endif /* __UVISOR_API_NVIC_VIRTUAL_H__ */

api/inc/interrupts.h

@@ -60,4 +60,9 @@ UVISOR_EXTERN void vIRQ_DisableAll(void);
  * ::vIRQ_DisableAll for more information. */
 UVISOR_EXTERN void vIRQ_EnableAll(void);
 
+/** Reset the device.
+ * @warning Currently only the debug box can reset the device.
+ */
+UVISOR_EXTERN void vIRQ_SystemReset(void);
+
 #endif /* __UVISOR_API_INTERRUPTS_H__ */

api/src/interrupts.c

@@ -165,3 +165,13 @@ int vIRQ_GetLevel(void)
         return UVISOR_SVC(UVISOR_SVC_ID_IRQ_LEVEL_GET, "");
     }
 }
+
+void vIRQ_SystemReset(void)
+{
+    if(__uvisor_mode == 0) {
+        NVIC_SystemReset();
+    }
+    else {
+        UVISOR_SVC(UVISOR_SVC_ID_DEBUG_REBOOT, "");
+    }
+}