num2              404 dev/pci/hifn7751.c 	u_int32_t num1, sts, num2;
num2              423 dev/pci/hifn7751.c 			num2 = READ_REG_1(sc, HIFN_1_7811_RNGDAT);
num2              428 dev/pci/hifn7751.c 				add_true_randomness(num2);