Symbol: sync_kern
usr/src/cmd/cmd-inet/usr.sbin/in.routed/defs.h
730
extern void sync_kern(void);
usr/src/cmd/cmd-inet/usr.sbin/in.routed/main.c
488
sync_kern();