f_int              62 dev/microcode/ncr53cxxx/ncr53cxxx.c void	f_int (void);
f_int              86 dev/microcode/ncr53cxxx/ncr53cxxx.c 	"INT",		f_int,
f_int              64 dev/microcode/siop/ncr53cxxx.c void	f_int (void);
f_int              92 dev/microcode/siop/ncr53cxxx.c 	{"INT",		f_int},