#define RESET_PID #include <tcb-offsets.h> #include "../../../../../../../libc/sysdeps/linux/nios2/clone.S"