Alexandra Diupina 
		4c7ae73caf 
		
	 
	
	
	hw/display/vmware_vga: fix probably typo ... 
			When calling trace_vmware_verify_rect_greater_than_bound() replace
"y" with "h" and y with h
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Fixes: 02218aedb1 ("hw/display/vmware_vga: replace fprintf calls with trace events")
Signed-off-by: Alexandra Diupina <adiupina@astralinux.ru>
Reviewed-by: Thomas Huth <thuth@redhat.com>
Message-ID: <20231110174104.13280-1-adiupina@astralinux.ru>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org> 
		
	 
		2023-11-13 16:56:24 +01:00 
	 
	
	
		 
	
	
		
			
			
			
			
			
			2022-11-07 14:00:29 -05:00 
		 
	
		
			
			
			
			
			
			2022-11-07 14:00:29 -05:00 
		 
	
		
			
			
			
			
			
			2022-06-26 18:40:28 +01:00 
		 
	
		
			
			
			
			
			
			2023-11-07 14:04:25 +04:00 
		 
	
		
			
			
			
			
			
			2023-11-06 15:58:43 +04:00 
		 
	
		
			
			
			
			
			
			2023-11-06 15:58:45 +04:00 
		 
	
		
			
			
			
			
			
			2023-11-06 15:58:43 +04:00 
		 
	
		
			
			
			
			
			
			2023-11-07 14:04:25 +04:00 
		 
	
		
			
			
			
			
			
			2022-07-26 14:09:44 +01:00 
		 
	
		
			
			
			
			
			
			2022-11-08 10:23:32 +01:00 
		 
	
		
			
			
			
			
			
			2023-08-31 19:47:43 +02:00 
		 
	
		
			
			
			
			
			
			2022-04-06 14:31:55 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2022-11-10 10:17:18 -05:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2023-01-18 11:14:34 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2022-03-04 11:31:46 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2020-11-02 16:52:17 +00:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2023-01-18 11:14:34 +01:00 
		 
	
		
			
			
			
			
			
			2022-02-21 13:30:20 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2023-11-07 14:04:25 +04:00 
		 
	
		
			
			
			
			
			
			2023-11-05 15:48:36 +01:00 
		 
	
		
			
			
			
			
			
			2023-11-07 14:04:25 +04:00 
		 
	
		
			
			
			
			
			
			2022-12-03 22:07:07 +01:00 
		 
	
		
			
			
			
			
			
			2023-01-12 17:15:09 +00:00 
		 
	
		
			
			
			
			
			
			2023-01-12 17:15:09 +00:00 
		 
	
		
			
			
			
			
			
			2022-04-06 10:50:37 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-14 13:14:55 +00:00 
		 
	
		
			
			
			
			
			
			2022-11-08 10:23:32 +01:00 
		 
	
		
			
			
			
			
			
			2022-11-29 18:15:26 -05:00 
		 
	
		
			
			
			
			
			
			2023-03-13 22:57:39 +04:00 
		 
	
		
			
			
			
			
			
			2023-09-08 13:08:52 +03:00 
		 
	
		
			
			
			
			
			
			2023-01-19 13:30:01 +01:00 
		 
	
		
			
			
			
			
			
			2023-10-18 10:10:49 +02:00 
		 
	
		
			
			
			
			
			
			2023-10-18 10:10:49 +02:00 
		 
	
		
			
			
			
			
			
			2022-06-30 09:21:14 +02:00 
		 
	
		
			
			
			
			
			
			2023-11-07 14:04:25 +04:00 
		 
	
		
			
			
			
			
			
			2023-08-31 19:47:43 +02:00 
		 
	
		
			
			
			
			
			
			2023-08-31 19:47:43 +02:00 
		 
	
		
			
			
			
			
			
			2022-03-21 15:44:44 +01:00 
		 
	
		
			
			
			
			
			
			2022-04-06 14:31:55 +02:00 
		 
	
		
			
			
			
			
			
			2023-01-19 13:30:01 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2022-11-10 10:17:18 -05:00 
		 
	
		
			
			
			
			
			
			2022-11-08 10:23:32 +01:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2023-11-02 12:52:06 +00:00 
		 
	
		
			
			
			
			
			
			2022-11-10 10:17:18 -05:00 
		 
	
		
			
			
			
			
			
			2023-11-02 12:52:06 +00:00 
		 
	
		
			
			
			
			
			
			2023-04-20 11:25:32 +02:00 
		 
	
		
			
			
			
			
			
			2022-06-06 09:26:53 +02:00 
		 
	
		
			
			
			
			
			
			2023-11-07 14:04:25 +04:00 
		 
	
		
			
			
			
			
			
			2022-06-06 09:26:53 +02:00 
		 
	
		
			
			
			
			
			
			2023-10-22 05:18:16 -04:00 
		 
	
		
			
			
			
			
			
			2023-10-20 08:51:41 +02:00 
		 
	
		
			
			
			
			
			
			2022-06-06 09:26:53 +02:00 
		 
	
		
			
			
			
			
			
			2022-06-06 09:26:53 +02:00 
		 
	
		
			
			
			
			
			
			2023-11-06 14:25:30 +04:00 
		 
	
		
			
			
			
			
			
			2023-10-16 11:29:56 +04:00 
		 
	
		
			
			
			
			
			
			2023-10-16 11:29:56 +04:00 
		 
	
		
			
			
			
			
			
			2021-11-05 12:29:19 +01:00 
		 
	
		
			
			
			
			
			
			2023-07-17 15:22:28 +04:00 
		 
	
		
			
			
			
			
			
			2023-06-27 17:08:56 +02:00 
		 
	
		
			
			
			
			
			
			2023-11-07 14:04:25 +04:00 
		 
	
		
			
			
			
			
			
			2022-06-06 09:26:53 +02:00 
		 
	
		
			
			
			
			
			
			2023-10-16 11:29:56 +04:00 
		 
	
		
			
			
			
			
			
			2023-10-16 11:29:56 +04:00 
		 
	
		
			
			
			
			
			
			2022-12-16 15:59:07 +00:00 
		 
	
		
			
			
			
			
			
			2023-11-13 16:56:24 +01:00 
		 
	
		
			
			
			
			
			
			2023-10-19 23:13:28 +02:00 
		 
	
		
			
			
			
			
			
			2023-10-03 10:29:40 +02:00