|  | @@ -52,7 +52,7 @@
 | 
	
		
			
				|  |  |  //   Mutex mu;
 | 
	
		
			
				|  |  |  //   int p1 GUARDED_BY(mu);
 | 
	
		
			
				|  |  |  #define GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(guarded_by(x))
 | 
	
		
			
				|  |  | -#define GUARDED_VAR   THREAD_ANNOTATION_ATTRIBUTE__(guarded)
 | 
	
		
			
				|  |  | +#define GUARDED_VAR  // no-op
 | 
	
		
			
				|  |  |  
 | 
	
		
			
				|  |  |  // PT_GUARDED_BY()
 | 
	
		
			
				|  |  |  //
 | 
	
	
		
			
				|  | @@ -72,7 +72,7 @@
 | 
	
		
			
				|  |  |  //     // guarded by `mu2`:
 | 
	
		
			
				|  |  |  //     int *q GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
 | 
	
		
			
				|  |  |  #define PT_GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(pt_guarded_by(x))
 | 
	
		
			
				|  |  | -#define PT_GUARDED_VAR   THREAD_ANNOTATION_ATTRIBUTE__(pt_guarded)
 | 
	
		
			
				|  |  | +#define PT_GUARDED_VAR  // no-op
 | 
	
		
			
				|  |  |  
 | 
	
		
			
				|  |  |  // ACQUIRED_AFTER() / ACQUIRED_BEFORE()
 | 
	
		
			
				|  |  |  //
 |