begin sys/user.h and sys/reg.h fixes for ports

[musl] / src / prng / rand_r.c

#include <stdlib.h>

int rand_r(unsigned *seed)
{
        return (*seed = *seed * 1103515245 + 12345) & 0x7fffffff;
}