f_int             831 dev/microcode/ncr53cxxx/ncr53cxxx.c void	f_int (void)
f_int            1007 dev/microcode/siop/ncr53cxxx.c void	f_int (void)