1 #if defined(TRUSTY_USERSPACE)
__pthread_self()2 static inline struct pthread *__pthread_self()
3 {
4 	struct pthread *self;
5 	__asm__ ("mov %%fs:0,%0" : "=r" (self) );
6 	return self;
7 }
8 #endif
9 
10 #define TP_ADJ(p) (p)
11 
12 #define MC_PC gregs[REG_RIP]
13