read_symbols
read_symbols("/boot/kernel/kernel");
static void read_symbols(const char *);
read_symbols(Nflag ? execfile : NULL);
read_symbols(const char *file)
read_symbols(Nflag ? execfile : NULL);
read_symbols(const char *file)
static void read_symbols(const char *);
void read_symbols(const char *);
read_symbols(NULL);