arch/x86_64/pthread_arch.h

#if defined(TRUSTY_USERSPACE)
static inline struct pthread *__pthread_self()
{
	struct pthread *self;
	__asm__ ("mov %%fs:0,%0" : "=r" (self) );
	return self;
}
#endif

#define TP_ADJ(p) (p)

#define MC_PC gregs[REG_RIP]