Function fork

examples/stdlib.c:1608–1614

}

static pid_t fork(void)
{
    pid_t child = (pid_t)syscall(SYS_fork);
    if (child == 0)
        mutex_settid((pid_t)syscall(SYS_gettid));
    return child;
}

/****************************************************************************/
/* CONFIGURATION                                                            */