1 /* 2 * srand48.c 3 */ 4 5 #include <stdlib.h> 6 #include <stdint.h> 7 8 extern unsigned short __rand48_seed[3]; 9 10 void srand48(long seedval) 11 { 12 __rand48_seed[0] = 0x330e; 13 __rand48_seed[1] = (unsigned short)seedval; 14 __rand48_seed[2] = (unsigned short)((uint32_t) seedval >> 16); 15 } 16
