emit_symbols      194 dev/microcode/ncr53cxxx/ncr53cxxx.c void	emit_symbols (void);
emit_symbols      326 dev/microcode/ncr53cxxx/ncr53cxxx.c 	emit_symbols ();
emit_symbols      308 dev/microcode/siop/ncr53cxxx.c void	emit_symbols (void);
emit_symbols      457 dev/microcode/siop/ncr53cxxx.c 	emit_symbols ();