Symbol: kern_dump
usr/src/cmd/cmd-inet/usr.sbin/in.routed/defs.h
732
extern void kern_dump(void);
usr/src/cmd/cmd-inet/usr.sbin/in.routed/trace.c
1099
kern_dump();