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