num1              404 dev/pci/hifn7751.c 	u_int32_t num1, sts, num2;
num1              422 dev/pci/hifn7751.c 			num1 = READ_REG_1(sc, HIFN_1_7811_RNGDAT);
num1              427 dev/pci/hifn7751.c 				add_true_randomness(num1);
num1              432 dev/pci/hifn7751.c 		num1 = READ_REG_1(sc, HIFN_1_RNG_DATA);
num1              437 dev/pci/hifn7751.c 			add_true_randomness(num1);