diff options
Diffstat (limited to 'src/port/erand48.c')
| -rw-r--r-- | src/port/erand48.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/port/erand48.c b/src/port/erand48.c index 9d471197c35..716816bc361 100644 --- a/src/port/erand48.c +++ b/src/port/erand48.c @@ -91,6 +91,13 @@ pg_lrand48(void) return ((long) _rand48_seed[2] << 15) + ((long) _rand48_seed[1] >> 1); } +long +pg_jrand48(unsigned short xseed[3]) +{ + _dorand48(xseed); + return ((long) xseed[2] << 16) + ((long) xseed[1]); +} + void pg_srand48(long seed) { |