list_symbols      371 dev/microcode/ncr53cxxx/ncr53cxxx.c void list_symbols ()
list_symbols      538 dev/microcode/siop/ncr53cxxx.c void list_symbols ()