kern

diff src/proc.h @ 56:0be4615594df

finally, runqueues, blocking, waking up, idle loop etc, all seem to work fine on a single user process... Next up: try forking another one :)
author John Tsiombikas <nuclear@member.fsf.org>
date Mon, 15 Aug 2011 06:17:58 +0300
parents 88a6c4e192f9
children 437360696883
line diff
     1.1 --- a/src/proc.h	Mon Aug 15 04:03:39 2011 +0300
     1.2 +++ b/src/proc.h	Mon Aug 15 06:17:58 2011 +0300
     1.3 @@ -47,6 +47,7 @@
     1.4  
     1.5  void context_switch(int pid);
     1.6  
     1.7 +void set_current_pid(int pid);
     1.8  int get_current_pid(void);
     1.9  struct process *get_current_proc(void);
    1.10  struct process *get_process(int pid);