jsrsasign/ext/rng.js
function rng_seed_int(x) {
  rng_pool[rng_pptr++] ^= x & 255;
  rng_pool[rng_pptr++] ^= (x >> 8) & 255;
  rng_pool[rng_pptr++] ^= (x >> 16) & 255;
  rng_pool[rng_pptr++] ^= (x >> 24) & 255;
  if(rng_pptr >= rng_psize) rng_pptr -= rng_psize;
}
function rng_seed_int(x) {
  rng_pool[rng_pptr++] ^= x & 255;
  rng_pool[rng_pptr++] ^= (x >> 8) & 255;
  rng_pool[rng_pptr++] ^= (x >> 16) & 255;
  rng_pool[rng_pptr++] ^= (x >> 24) & 255;
  if(rng_pptr >= rng_psize) rng_pptr -= rng_psize;
}
function rng_seed_int ( x ) { rng_pool [ rng_pptr ++ ] ^= x & 255 ; rng_pool [ rng_pptr ++ ] ^= ( x >> 8 ) & 255 ; rng_pool [ rng_pptr ++ ] ^= ( x >> 16 ) & 255 ; rng_pool [ rng_pptr ++ ] ^= ( x >> 24 ) & 255 ; if ( rng_pptr >= rng_psize ) rng_pptr -= rng_psize ; }
Mix in a 32-bit integer into the pool
Mix in a 32 - bit integer into the pool