Symbol: flush_kern
sbin/routed/defs.h
555
void flush_kern(void);
sbin/routed/main.c
396
flush_kern();