f_return           61 dev/microcode/ncr53cxxx/ncr53cxxx.c void	f_return (void);
f_return           85 dev/microcode/ncr53cxxx/ncr53cxxx.c 	"RETURN",	f_return,
f_return           63 dev/microcode/siop/ncr53cxxx.c void	f_return (void);
f_return           91 dev/microcode/siop/ncr53cxxx.c 	{"RETURN",	f_return},