Define symbol to context pointer

Author: AlessandroA

source/led1.cpp

@@ -22,6 +22,12 @@ UVISOR_BOX_HEAPSIZE(3 * 1024);
 UVISOR_BOX_MAIN(led1_main, osPriorityNormal, 512);
 UVISOR_BOX_CONFIG(box_led1, acl, 512, box_context);
 
+/* FIXME: The guard is needed for backwards-compatibility reasons. Remove it
+ *        when mbed OS is updated. */
+#ifdef __uvisor_ctx
+#define uvisor_ctx ((my_box_context *) __uvisor_ctx)
+#endif
+
 static void led1_main(const void *)
 {
     DigitalOut led1(LED1);

source/led2.cpp

@@ -22,6 +22,12 @@ UVISOR_BOX_HEAPSIZE(3 * 1024);
 UVISOR_BOX_MAIN(led2_main, osPriorityNormal, 512);
 UVISOR_BOX_CONFIG(box_led2, acl, 512, box_context);
 
+/* FIXME: The guard is needed for backwards-compatibility reasons. Remove it
+ *        when mbed OS is updated. */
+#ifdef __uvisor_ctx
+#define uvisor_ctx ((my_box_context *) __uvisor_ctx)
+#endif
+
 static void led2_main(const void *)
 {
     DigitalOut led2(LED2);

source/led3.cpp

@@ -22,6 +22,12 @@ UVISOR_BOX_HEAPSIZE(3 * 1024);
 UVISOR_BOX_MAIN(led3_main, osPriorityNormal, 1024);
 UVISOR_BOX_CONFIG(box_led3, acl, 512, box_context);
 
+/* FIXME: The guard is needed for backwards-compatibility reasons. Remove it
+ *        when mbed OS is updated. */
+#ifdef __uvisor_ctx
+#define uvisor_ctx ((my_box_context *) __uvisor_ctx)
+#endif
+
 static void run_3(void)
 {
     while (1) {