Kernel messages infrastructure
[akaros.git] / kern / include / process.h
index 64c69a3..e704127 100644 (file)
@@ -82,6 +82,8 @@ void proc_startcore(struct proc *SAFE p, trapframe_t *SAFE tf)
      __attribute__((noreturn));
 void proc_destroy(struct proc *SAFE p);
 void proc_yield(struct proc *SAFE p);
+/* Exposed for sys_getvcoreid(), til it's unnecessary */
+uint32_t proc_get_vcoreid(struct proc *SAFE p, uint32_t pcoreid);
 
 /* Process core management.  Only call these if you are RUNNING_M or RUNNABLE_M.
  * These all adjust the vcoremap and take appropriate actions (like __startcore
@@ -135,7 +137,7 @@ void proc_decref(struct proc *SAFE p, size_t count);
 
 void abandon_core(void);
 
-/* Active message handlers for process management */
+/* Kernel message handlers for process management */
 #ifdef __IVY__
 void __startcore(trapframe_t *tf, uint32_t srcid, struct proc *CT(1) a0,
                  trapframe_t *CT(1) a1, void *SNT a2);