00001 00007 /* Embedded XINU, Copyright (C) 2007. All rights reserved. */ 00008 00009 #include <kernel.h> 00010 #include <proc.h> 00011 #include <queue.h> 00012 00019 syscall ready(long pid, bool resch) 00020 { 00021 register pcb *ppcb; 00022 00023 ASSERT(!isbadpid(pid)); 00024 00025 ppcb = &proctab[pid]; 00026 ppcb->state = PRREADY; 00027 00028 insert(pid, readylist, ppcb->prio); 00029 00030 if (resch) { resched(); } 00031 return OK; 00032 }