list_symbols      195 dev/microcode/ncr53cxxx/ncr53cxxx.c void	list_symbols (void);
list_symbols      331 dev/microcode/ncr53cxxx/ncr53cxxx.c 	list_symbols ();
list_symbols      309 dev/microcode/siop/ncr53cxxx.c void	list_symbols (void);
list_symbols      469 dev/microcode/siop/ncr53cxxx.c 	list_symbols ();