HIFN_1_7811_RNGDAT  422 dev/pci/hifn7751.c 			num1 = READ_REG_1(sc, HIFN_1_7811_RNGDAT);
HIFN_1_7811_RNGDAT  423 dev/pci/hifn7751.c 			num2 = READ_REG_1(sc, HIFN_1_7811_RNGDAT);