rem: void reseed (ch_randgen *prandgen, const unsigned int inittimes) { volatile unsigned int i, j; OCTET x, y; for (j = inittimes; j; j--) { for (i = NK * inittimes; i; i--) { thread_yield (); y.Q[0] += clock_counter (); attach (&x, &y, 0x52437EFFU, 0x026A4CEBU, 0xD9E66AC9U, 0x56E5A975U); attach (&y, &x, 0xC70B8B41U, 0x9126B036U, 0x36CC6FDBU, 0x31D477F7U); chseed (prandgen, y.Q[0]); } }
add: reseed(ch_randgen *prandgen, const uint32 initTimes) { volatile uint32 i, j; OCTET x, y;  for (j = initTimes; j; j--) { for (i = NK * initTimes; i; i--) {     snooze(5);  y.Q[0] += system_time(); attach(&x, &y, 0x52437EFFU, 0x026A4CEBU, 0xD9E66AC9U, 0x56E5A975U); attach(&y, &x, 0xC70B8B41U, 0x9126B036U, 0x36CC6FDBU, 0x31D477F7U); chseed(prandgen, y.Q[0]); } }
context: void reseed (ch_randgen *prandgen, const unsigned int inittimes) { 	volatile unsigned int i, j; 	OCTET x, y; 	for (j = inittimes; j; j--) 	{ 		for (i = NK * inittimes; i; i--) 		{ 			thread_yield (); 			y.Q[0] += clock_counter (); 			attach (&x, &y, 0x52437EFFU, 0x026A4CEBU, 0xD9E66AC9U, 0x56E5A975U); 			attach (&y, &x, 0xC70B8B41U, 0x9126B036U, 0x36CC6FDBU, 0x31D477F7U); 			chseed (prandgen, y.Q[0]); 		} 	} } 