*/
#define SCHED_ENQUEUE(proc) ADDTAIL(&ProcReadyList, &(proc)->link)
/** Schedule to another process *without* adding the current to the ready list. */
void proc_schedule(void);
*/
#define SCHED_ENQUEUE(proc) ADDTAIL(&ProcReadyList, &(proc)->link)
/** Schedule to another process *without* adding the current to the ready list. */
void proc_schedule(void);