panic.c
1.59 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
/*
* panic.c --
*
* Source code for the "panic" library procedure.
*
* Copyright 1988 Regents of the University of California
* Permission to use, copy, modify, and distribute this
* software and its documentation for any purpose and without
* fee is hereby granted, provided that the above copyright
* notice appear in all copies. The University of California
* makes no representations about the suitability of this
* software for any purpose. It is provided "as is" without
* express or implied warranty.
*/
#ifndef lint
static char rcsid[] = "$Header: /root/leakn64/depot/rf/sw/bbplayer/simos/apps/unix/ethersim/sun/panic.c,v 1.1.1.1 2002/05/29 01:09:09 blythe Exp $ SPRITE (Berkeley)";
#endif not lint
#include <stdio.h>
#include <stdlib.h>
#include <varargs.h>
/*
*----------------------------------------------------------------------
*
* panic --
*
* Print an error message and kill the process.
*
* Results:
* None.
*
* Side effects:
* The process dies, entering the debugger if possible.
*
*----------------------------------------------------------------------
*/
#ifndef lint
void
panic(va_alist)
va_dcl /* char *format, then any number of additional
* values to be printed under the control of
* format. This is all just the same as you'd
* pass to printf. */
{
char *format;
va_list args;
va_start(args);
format = va_arg(args, char *);
(void) vfprintf(stderr, format, args);
(void) fflush(stderr);
abort();
va_end(args);
}
#else
/* VARARGS1 */
/* ARGSUSED */
void
panic(format)
char *format;
{
return;
}
#endif lint