#include <kernel.h>#include <proc.h>#include <queue.h>#include <semaphore.h>#include <memory.h>

Go to the source code of this file.
Functions | |
| void | xdone (void) |
| syscall | kill (int pid) |
Definition in file kill.c.
| syscall kill | ( | int | pid | ) |
Definition at line 21 of file kill.c.
References BLOCK, sentry::count, disable(), freemem(), isbadpid, numproc, OK, pentry::parent, PRCURR, PRFREE, proctab, PRREADY, PRSLEEP, PRWAIT, resched(), restore(), pentry::sem, semtab, send(), pentry::state, pentry::stkbase, and SYSERR.
Referenced by test_deltaQueue(), test_procQueue(), test_semaphore(), test_semaphore2(), test_semaphore3(), test_semaphore4(), userret(), xsh_exit(), and xsh_kill().
| void xdone | ( | void | ) |
Print system completion message as last process exits.
Definition at line 18 of file xdone.c.
References GPIO_CTRL_LED_OFF, GPIO_LED_CISCOWHT, halt(), and kprintf().
1.5.5