#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().