Helge Deller 
		fe080593dd 
		
	 
	
	
	linux-user: Add translation for argument of msync() ... 
			msync() uses the flags MS_ASYNC, MS_INVALIDATE and MS_SYNC, which differ
between platforms, specifcally on alpha and hppa.
Add a target to host translation for those and wire up a nicer strace
output.
This fixes the testsuite of the macaulay2 debian package with a hppa-linux
guest on a x86-64 host.
Signed-off-by: Helge Deller <deller@gmx.de>
Reviewed-by: Laurent Vivier <laurent@vivier.eu>
Message-Id: <Y5rMcts4qe15RaVN@p100>
Signed-off-by: Laurent Vivier <laurent@vivier.eu> 
		
	 
		2023-03-10 20:45:47 +01:00 
	 
	
	
		 
	
	
		
			
			
			
			
			
			2023-02-03 22:55:12 +01:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:45:47 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-16 16:00:47 +00:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:45:47 +01:00 
		 
	
		
			
			
			
			
			
			2023-01-05 09:19:02 -08:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:45:47 +01:00 
		 
	
		
			
			
			
			
			
			2022-10-25 09:20:40 +02:00 
		 
	
		
			
			
			
			
			
			2023-01-23 14:39:48 -10:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2023-02-03 22:55:12 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-21 08:44:13 -10:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-09-27 13:19:05 +02:00 
		 
	
		
			
			
			
			
			
			2023-02-03 22:55:12 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-21 08:44:13 -10:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-09-27 09:30:09 +02:00 
		 
	
		
			
			
			
			
			
			2022-10-25 09:20:40 +02:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:42:00 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-12 21:53:35 +02:00 
		 
	
		
			
			
			
			
			
			2023-01-16 10:14:12 -10:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:45:47 +01:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:42:00 +01:00 
		 
	
		
			
			
			
			
			
			2020-09-17 20:39:22 +02:00 
		 
	
		
			
			
			
			
			
			2022-07-28 19:17:24 +02:00 
		 
	
		
			
			
			
			
			
			2022-10-21 17:46:19 +02:00 
		 
	
		
			
			
			
			
			
			2021-11-29 14:54:17 +01:00 
		 
	
		
			
			
			
			
			
			2022-05-23 08:15:19 +02:00 
		 
	
		
			
			
			
			
			
			2021-09-13 20:35:44 +02:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:41:30 +01:00 
		 
	
		
			
			
			
			
			
			2023-01-16 10:14:12 -10:00 
		 
	
		
			
			
			
			
			
			2023-02-03 22:55:12 +01:00 
		 
	
		
			
			
			
			
			
			2022-09-06 08:04:25 +01:00 
		 
	
		
			
			
			
			
			
			2022-06-28 04:41:20 +05:30 
		 
	
		
			
			
			
			
			
			2022-09-27 09:29:33 +02:00 
		 
	
		
			
			
			
			
			
			2023-01-16 10:14:12 -10:00 
		 
	
		
			
			
			
			
			
			2019-06-12 13:20:21 +02:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:45:47 +01:00 
		 
	
		
			
			
			
			
			
			2022-05-23 22:47:19 +02:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:45:47 +01:00 
		 
	
		
			
			
			
			
			
			2022-10-17 10:28:35 +08:00 
		 
	
		
			
			
			
			
			
			2021-11-29 14:54:17 +01:00 
		 
	
		
			
			
			
			
			
			2023-03-10 20:45:47 +01:00 
		 
	
		
			
			
			
			
			
			2021-12-20 10:12:29 -08:00 
		 
	
		
			
			
			
			
			
			2022-01-18 12:41:42 +01:00 
		 
	
		
			
			
			
			
			
			2020-08-21 06:18:24 -04:00 
		 
	
		
			
			
			
			
			
			2021-09-13 20:35:45 +02:00 
		 
	
		
			
			
			
			
			
			2022-05-23 22:47:20 +02:00 
		 
	
		
			
			
			
			
			
			2022-05-23 22:47:19 +02:00 
		 
	
		
			
			
			
			
			
			2023-02-16 16:00:47 +00:00 
		 
	
		
			
			
			
			
			
			2022-06-24 10:00:00 +02:00 
		 
	
		
			
			
			
			
			
			2021-09-13 20:35:45 +02:00