CPU state tracking
[akaros.git] / kern / src / process.c
index 01f57cd..ee04506 100644 (file)
@@ -749,6 +749,7 @@ void __proc_startcore(struct proc *p, struct user_context *ctx)
        __set_proc_current(p);
        /* Clear the current_ctx, since it is no longer used */
        current_ctx = 0;        /* TODO: might not need this... */
+       __set_cpu_state(pcpui, CPU_STATE_USER);
        proc_pop_ctx(ctx);
 }