| 
									
										
										
										
											2018-01-22 13:07:47 -08:00
										 |  |  | /*
 | 
					
						
							|  |  |  |  * QEMU Windows Hypervisor Platform accelerator (WHPX) support | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * Copyright Microsoft, Corp. 2017 | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * Authors: | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * This work is licensed under the terms of the GNU GPL, version 2 or later. | 
					
						
							|  |  |  |  * See the COPYING file in the top-level directory. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-04-03 14:53:17 +02:00
										 |  |  | /* header to be included in non-WHPX-specific code */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-01-22 13:07:47 -08:00
										 |  |  | #ifndef QEMU_WHPX_H
 | 
					
						
							|  |  |  | #define QEMU_WHPX_H
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-04-14 13:20:01 +02:00
										 |  |  | #ifdef NEED_CPU_H
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-01-22 13:07:47 -08:00
										 |  |  | #ifdef CONFIG_WHPX
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | int whpx_enabled(void); | 
					
						
							| 
									
										
										
										
											2020-12-19 04:06:37 -05:00
										 |  |  | bool whpx_apic_in_platform(void); | 
					
						
							| 
									
										
										
										
											2020-10-28 02:23:19 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-01-22 13:07:47 -08:00
										 |  |  | #else /* CONFIG_WHPX */
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #define whpx_enabled() (0)
 | 
					
						
							| 
									
										
										
										
											2020-10-28 02:23:19 +00:00
										 |  |  | #define whpx_apic_in_platform() (0)
 | 
					
						
							| 
									
										
										
										
											2018-01-22 13:07:47 -08:00
										 |  |  | 
 | 
					
						
							|  |  |  | #endif /* CONFIG_WHPX */
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-04-14 13:20:01 +02:00
										 |  |  | #endif /* NEED_CPU_H */
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-01-22 13:07:47 -08:00
										 |  |  | #endif /* QEMU_WHPX_H */
 |