coredump
int coredump;
coredump = 0;
coredump = WCOREDUMP(sp->status);
if (coredump)
const char *statestr, *coredump;
coredump = "";
coredump = " (core dumped)";
out1str(coredump);
col += strlen(statestr) + strlen(coredump);
.sv_coredump = __elfN(coredump),
.sv_coredump = __elfN(coredump),
.sv_coredump = __elfN(coredump),
.sv_coredump = __elfN(coredump),
void (*coredump) (struct device *);
.sv_coredump = __elfN(coredump),
__elfN(coredump)(struct thread *td, struct coredump_writer *cdw, off_t limit, int flags)
boolean_t coredump;
coredump = TRUE;
coredump = FALSE;
if (coredump) {
rv = coredump(td, &err);
static int coredump(struct thread *td, const char **);
SYSCTL_INT(_kern, OID_AUTO, coredump, CTLFLAG_RW,
.sv_coredump = __elfN(coredump),
.sv_coredump = __elfN(coredump),
.sv_coredump = __elfN(coredump),
.sv_coredump = __elfN(coredump),
int __elfN(coredump)(struct thread *, struct coredump_writer *, off_t, int);