emit_symbols      334 dev/microcode/ncr53cxxx/ncr53cxxx.c void emit_symbols ()
emit_symbols      496 dev/microcode/siop/ncr53cxxx.c void emit_symbols ()