soc/runtime: add levels to exception_pop

soc/runtime/exceptions.c

@@ -17,9 +17,9 @@ void *exception_push(void)
     return exception_contexts[ec_top++].jb;
 }
 
-void exception_pop(void)
+void exception_pop(int levels)
 {
-    ec_top--;
+    ec_top -= levels;
 }
 
 int exception_getid(void)

soc/runtime/exceptions.h

@@ -6,7 +6,7 @@ enum {
 };
 
 void *exception_push(void);
-void exception_pop(void);
+void exception_pop(int levels);
 int exception_getid(void);
 void exception_raise(int id) __attribute__((noreturn));
 

soc/runtime/main.c

@@ -84,7 +84,7 @@ static int run_kernel(const char *kernel_name, int *eid)
         rtio_init();
         flush_cpu_icache();
         k();
-        exception_pop();
+        exception_pop(1);
         return KERNEL_RUN_FINISHED;
     }
 }