1 /* kill.c -- remove a process.
3 * Copyright (C) 2015 FTDI (support@ftdichip.com)
5 * The authors hereby grant permission to use, copy, modify, distribute,
6 * and license this software and its documentation for any purpose, provided
7 * that existing copyright notices are retained in all copies and that this
8 * notice is included verbatim in any distributions. No written agreement,
9 * license, or royalty fee is required for any of the authorized uses.
10 * Modifications to this software may be copyrighted by their authors
11 * and need not follow the licensing terms described here, provided that
12 * the new terms are clearly indicated on the first page of each file where
17 extern void _exit (int) __attribute__((__noreturn__
));
20 * kill -- go out via exit...