Kernel messages infrastructure
[akaros.git] / kern / include / process.h
index d93877b..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
@@ -99,18 +101,21 @@ void proc_yield(struct proc *SAFE p);
  *
  * WARNING: YOU MUST HOLD THE PROC_LOCK BEFORE CALLING THESE! */
 /* Gives process p the additional num cores listed in corelist */
-bool __proc_give_cores(struct proc *SAFE p, int32_t *corelist, size_t num);
+bool __proc_give_cores(struct proc *SAFE p, uint32_t *pcorelist, size_t num);
 /* Makes process p's coremap look like corelist (add, remove, etc). Not used */
-bool __proc_set_allcores(struct proc *SAFE p, int32_t *corelist,
+bool __proc_set_allcores(struct proc *SAFE p, uint32_t *pcorelist,
                          size_t *num, amr_t message, TV(a0t) arg0,
                          TV(a1t) arg1, TV(a2t) arg2);
 /* Takes from process p the num cores listed in corelist */
-bool __proc_take_cores(struct proc *SAFE p, int32_t *corelist,
+bool __proc_take_cores(struct proc *SAFE p, uint32_t *pcorelist,
                        size_t num, amr_t message, TV(a0t) arg0,
                        TV(a1t) arg1, TV(a2t) arg2);
 bool __proc_take_allcores(struct proc *SAFE p, amr_t message, TV(a0t) arg0,
                           TV(a1t) arg1, TV(a2t) arg2);
 void __proc_unlock_ipi_pending(struct proc *p, bool ipi_pending);
+/* Exposed for kern/src/resource.c for now */
+void __map_vcore(struct proc *p, uint32_t vcoreid, uint32_t pcoreid);
+void __unmap_vcore(struct proc *p, uint32_t vcoreid);
 
 /* Will probably have generic versions of these later. */
 void proc_incref(struct proc *SAFE p, size_t count);
@@ -132,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);
@@ -149,6 +154,7 @@ void __death(trapframe_t *tf, uint32_t srcid, void * a0, void * a1,
 void proc_init_trapframe(trapframe_t *SAFE tf, uint32_t vcoreid,
                          uint32_t entryp, uint32_t stack_top);
 void proc_set_syscall_retval(trapframe_t *SAFE tf, intreg_t value);
+void __abandon_core(void);
 
 /* Degubbing */
 void print_idlecoremap(void);