random_offset
offset = random_offset(start, end,
int random_offset;
if ((random_offset = randompid) != 0) {
read_random(&random_offset, sizeof(random_offset), 1);
random_offset = (random_offset & 0x7FFFFFFF) % randompid;
proc_makepid(p, random_offset);
proc_makepid(struct proc *p, int random_offset)
base = atomic_fetchadd_int(&nextpid, 1) + random_offset;
static void proc_makepid(struct proc *p, int random_offset);