Symbol: WCOREFLAG
sys/kern/kern_sig.c
1834
signum |= WCOREFLAG;
sys/sys/wait.h
62
#define WCOREDUMP(x) ((x) & WCOREFLAG)