Paolo Bonzini 
		5444e768ee 
		
	 
	
	
	add a header file for atomic operations ... 
			We're already using them in several places, but __sync builtins are just
too ugly to type, and do not provide seqcst load/store operations.
Reviewed-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> 
		
	 
		2013-07-04 17:42:49 +02:00 
	 
	
	
		 
	
	
		
			
			
			
			
			
			2013-05-08 15:28:49 +02:00 
		 
	
		
			
			
			
			
			
			2013-06-28 09:20:27 +02:00 
		 
	
		
			
			
			
			
			
			2013-05-22 08:22:36 -05:00 
		 
	
		
			
			
			
			
			
			2013-02-21 10:33:54 +01:00 
		 
	
		
			
			
			
			
			
			2012-03-12 15:14:07 +01:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:31:31 +01:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:31:31 +01:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:31:31 +01:00 
		 
	
		
			
			
			
			
			
			2013-04-13 19:40:25 +00:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:31:31 +01:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:31:31 +01:00 
		 
	
		
			
			
			
			
			
			2012-11-14 18:19:22 +01:00 
		 
	
		
			
			
			
			
			
			2013-04-17 10:27:47 -05:00 
		 
	
		
			
			
			
			
			
			2012-07-17 16:48:31 +02:00 
		 
	
		
			
			
			
			
			
			2013-04-17 10:27:47 -05:00 
		 
	
		
			
			
			
			
			
			2013-06-14 13:08:15 -05:00 
		 
	
		
			
			
			
			
			
			2013-04-30 16:04:14 -05:00 
		 
	
		
			
			
			
			
			
			2013-02-18 08:39:10 -06:00 
		 
	
		
			
			
			
			
			
			2013-02-18 08:39:10 -06:00 
		 
	
		
			
			
			
			
			
			2013-07-02 08:17:01 +02:00 
		 
	
		
			
			
			
			
			
			2012-03-12 15:14:07 +01:00 
		 
	
		
			
			
			
			
			
			2013-04-08 18:13:10 +02:00 
		 
	
		
			
			
			
			
			
			2013-01-17 10:51:42 +01:00 
		 
	
		
			
			
			
			
			
			2013-02-22 21:21:10 +01:00 
		 
	
		
			
			
			
			
			
			2013-02-04 14:38:33 -06:00 
		 
	
		
			
			
			
			
			
			2013-01-25 18:18:35 +01:00 
		 
	
		
			
			
			
			
			
			2013-07-02 08:17:01 +02:00 
		 
	
		
			
			
			
			
			
			2013-01-02 15:58:09 +01:00 
		 
	
		
			
			
			
			
			
			2013-02-17 14:28:58 +00:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:32:39 +01:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:31:31 +01:00 
		 
	
		
			
			
			
			
			
			2013-05-23 09:44:21 -04:00 
		 
	
		
			
			
			
			
			
			2013-05-30 09:08:38 -04:00 
		 
	
		
			
			
			
			
			
			2013-02-07 13:22:50 -02:00 
		 
	
		
			
			
			
			
			
			2012-12-19 08:31:31 +01:00 
		 
	
		
			
			
			
			
			
			2013-07-04 17:42:49 +02:00 
		 
	
		
			
			
			
			
			
			2013-05-23 09:44:21 -04:00 
		 
	
		
			
			
			
			
			
			2013-01-27 14:34:27 +01:00 
		 
	
		
			
			
			
			
			
			2013-02-01 08:32:20 +01:00 
		 
	
		
			
			
			
			
			
			2013-05-03 12:03:14 -05:00