proc_change_to_vcore() races fixed
[akaros.git] / kern / include / process.h
index 6b917a5..ca64ae5 100644 (file)
@@ -85,7 +85,7 @@ void proc_yield(struct proc *SAFE p, bool being_nice);
 void proc_notify(struct proc *p, uint32_t vcoreid);
 void __proc_wakeup(struct proc *p);
 bool __proc_is_mcp(struct proc *p);
-void proc_change_to_vcore(struct proc *p, uint32_t vcoreid,
+void proc_change_to_vcore(struct proc *p, uint32_t new_vcoreid,
                           bool enable_my_notif);
 
 /* Vcoremap info: */