+static inline void
+update_thread_context(isr_param* param)
+{
+ if (!current_thread) {
+ return;
+ }
+
+ isr_param* ppctx = current_thread->intr_ctx;
+ param->execp->saved_prev_ctx = ppctx;
+ current_thread->intr_ctx = param;
+
+ if (ppctx) {
+ param->depth = ppctx->depth + 1;
+ }
+}
+