X_DUMPSIZE
(void)KREAD(kd_dump, dump_nl[X_DUMPSIZE].n_value, &dumppages);
int dumpsyms[] = { X_TIME, X_DUMPSIZE, X_VERSION, X_PANICSTR, X_DUMPMAG, -1 };