__clone
pid_t __clone(int (*)(void *), void *, int, void *);
switch (pid = __clone(clone_func, stack,
rv = __clone(dummy, NULL,
rv = __clone(0, stack,
rv = __clone(dummy, stack,
child2 = __clone(clone_func, stack_base, flags, NULL);
SYSCALL_REQUIRE((child2 = __clone(clone_func, stack_base,
SYSCALL_REQUIRE((child2 = __clone(clone_func, stack_base,
SYSCALL_REQUIRE((child2 = __clone(clone_func, stack_base,