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