| 
					
				 | 
			
			
				@@ -25,8 +25,8 @@ unsigned long pagemask  = ~(PRESET_PAGESIZE - 1); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 unsigned long pageshift = PRESET_PAGESIZE - 1; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 static inline 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-const char * alloc_concat(const char * p, int plen, 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-                          const char * s, int slen) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+char * alloc_concat(const char * p, int plen, 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+                    const char * s, int slen) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     plen = (plen != -1) ? plen : (p ? strlen(p) : 0); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     slen = (slen != -1) ? slen : (s ? strlen(s) : 0); 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -416,7 +416,7 @@ int initialize_enclave (struct pal_enclave * enclave) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         if (strcmp_static(areas[i].desc, "tls")) { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				             data = (void *) INLINE_SYSCALL(mmap, 6, NULL, areas[i].size, 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				                                            PROT_READ|PROT_WRITE, 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-                                           MAP_ANON|MAP_PRIVATE, -1, 0); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+                                           MAP_ANONYMOUS|MAP_PRIVATE, -1, 0); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				             for (int t = 0 ; t < enclave->thread_num ; t++) { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				                 struct enclave_tls * gs = data + pagesize * t; 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -437,7 +437,7 @@ int initialize_enclave (struct pal_enclave * enclave) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         if (strcmp_static(areas[i].desc, "tcs")) { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				             data = (void *) INLINE_SYSCALL(mmap, 6, NULL, areas[i].size, 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				                                            PROT_READ|PROT_WRITE, 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-                                           MAP_ANON|MAP_PRIVATE, -1, 0); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+                                           MAP_ANONYMOUS|MAP_PRIVATE, -1, 0); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				             for (int t = 0 ; t < enclave->thread_num ; t++) { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				                 sgx_arch_tcs_t * tcs = data + pagesize * t; 
			 |