define_symbol     197 dev/microcode/ncr53cxxx/ncr53cxxx.c void	define_symbol (char *, unsigned long, short, short);
define_symbol     317 dev/microcode/ncr53cxxx/ncr53cxxx.c 			    	define_symbol (tokens[0].name, dsps, S_LABEL, F_DEFINED);
define_symbol     740 dev/microcode/ncr53cxxx/ncr53cxxx.c 		define_symbol (tokens[i].name, 0, type, flags);
define_symbol     775 dev/microcode/ncr53cxxx/ncr53cxxx.c 		define_symbol (name, value, type, F_DEFINED);
define_symbol     311 dev/microcode/siop/ncr53cxxx.c void	define_symbol (char *, u_int32_t, short, short);
define_symbol     448 dev/microcode/siop/ncr53cxxx.c 			    	define_symbol (tokens[0].name, dsps, S_LABEL, F_DEFINED);
define_symbol     916 dev/microcode/siop/ncr53cxxx.c 		define_symbol (tokens[i].name, 0, type, flags);
define_symbol     951 dev/microcode/siop/ncr53cxxx.c 		define_symbol (name, value, type, F_DEFINED);