f_jump             59 dev/microcode/ncr53cxxx/ncr53cxxx.c void	f_jump (void);
f_jump             83 dev/microcode/ncr53cxxx/ncr53cxxx.c 	"JUMP",		f_jump,
f_jump             61 dev/microcode/siop/ncr53cxxx.c void	f_jump (void);
f_jump             89 dev/microcode/siop/ncr53cxxx.c 	{"JUMP",	f_jump},