1#include <stdio.h>
2#include <string.h>
3#include <signal.h>
4
5void psiginfo(const siginfo_t *si, const char *msg)
6{
7	char *s = strsignal(si->si_signo);
8	if (msg) fprintf(stderr, "%s: %s\n", msg, s);
9	else fprintf(stderr, "%s\n", s);
10}
11