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