xref: /openbmc/linux/arch/x86/include/asm/mshyperv.h (revision 48b1f68372ca93ff67812d99c8d7351aaee62a2a)
1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */
2e08cae41SH. Peter Anvin #ifndef _ASM_X86_MSHYPER_H
3e08cae41SH. Peter Anvin #define _ASM_X86_MSHYPER_H
4a2a47c6cSKy Srinivasan 
5e08cae41SH. Peter Anvin #include <linux/types.h>
6806c8927SVitaly Kuznetsov #include <linux/nmi.h>
71cf106d9SBoqun Feng #include <linux/msi.h>
8fc53662fSVitaly Kuznetsov #include <asm/io.h>
95a485803SVitaly Kuznetsov #include <asm/hyperv-tlfs.h>
10e70e5892SDavid Woodhouse #include <asm/nospec-branch.h>
11b9d8cf2eSMichael Kelley #include <asm/paravirt.h>
12753ed9c9SJoseph Salisbury #include <asm/mshyperv.h>
13e08cae41SH. Peter Anvin 
14812b0597SMichael Kelley /*
15812b0597SMichael Kelley  * Hyper-V always provides a single IO-APIC at this MMIO address.
16812b0597SMichael Kelley  * Ideally, the value should be looked up in ACPI tables, but it
17812b0597SMichael Kelley  * is needed for mapping the IO-APIC early in boot on Confidential
18812b0597SMichael Kelley  * VMs, before ACPI functions can be used.
19812b0597SMichael Kelley  */
20812b0597SMichael Kelley #define HV_IOAPIC_BASE_ADDRESS 0xfec00000
21812b0597SMichael Kelley 
223be1bc2fSSaurabh Sengar #define HV_VTL_NORMAL 0x0
233be1bc2fSSaurabh Sengar #define HV_VTL_SECURE 0x1
243be1bc2fSSaurabh Sengar #define HV_VTL_MGMT   0x2
253be1bc2fSSaurabh Sengar 
26faff4406STianyu Lan union hv_ghcb;
27faff4406STianyu Lan 
280cc4f6d9STianyu Lan DECLARE_STATIC_KEY_FALSE(isolation_type_snp);
29d6e2d652STianyu Lan DECLARE_STATIC_KEY_FALSE(isolation_type_en_snp);
300cc4f6d9STianyu Lan 
31cc4edae4SLan Tianyu typedef int (*hyperv_fill_flush_list_func)(
32cc4edae4SLan Tianyu 		struct hv_guest_mapping_flush_list *flush,
33cc4edae4SLan Tianyu 		void *data);
34cc4edae4SLan Tianyu 
35bc2b0331SK. Y. Srinivasan void hyperv_vector_handler(struct pt_regs *regs);
368730046cSK. Y. Srinivasan 
370a7a0058SSaurabh Sengar static inline unsigned char hv_get_nmi_reason(void)
380a7a0058SSaurabh Sengar {
390a7a0058SSaurabh Sengar 	return 0;
400a7a0058SSaurabh Sengar }
410a7a0058SSaurabh Sengar 
428730046cSK. Y. Srinivasan #if IS_ENABLED(CONFIG_HYPERV)
43dfe94d40SDexuan Cui extern int hyperv_init_cpuhp;
44dfe94d40SDexuan Cui 
45fc53662fSVitaly Kuznetsov extern void *hv_hypercall_pg;
46fc53662fSVitaly Kuznetsov 
4799a0f46aSWei Liu extern u64 hv_current_partition_id;
4899a0f46aSWei Liu 
49e1878402SMichael Kelley extern union hv_ghcb * __percpu *hv_ghcb_pg;
500cc4f6d9STianyu Lan 
51*48b1f683STianyu Lan extern bool hv_isolation_type_en_snp(void);
52*48b1f683STianyu Lan 
5386b5ec35SWei Liu int hv_call_deposit_pages(int node, u64 partition_id, u32 num_pages);
5486b5ec35SWei Liu int hv_call_add_logical_proc(int node, u32 lp_index, u32 acpi_id);
5586b5ec35SWei Liu int hv_call_create_vp(int node, u64 partition_id, u32 vp_index, u32 flags);
5686b5ec35SWei Liu 
57fc53662fSVitaly Kuznetsov static inline u64 hv_do_hypercall(u64 control, void *input, void *output)
58fc53662fSVitaly Kuznetsov {
59fc53662fSVitaly Kuznetsov 	u64 input_address = input ? virt_to_phys(input) : 0;
60fc53662fSVitaly Kuznetsov 	u64 output_address = output ? virt_to_phys(output) : 0;
61fc53662fSVitaly Kuznetsov 	u64 hv_status;
62fc53662fSVitaly Kuznetsov 
63fc53662fSVitaly Kuznetsov #ifdef CONFIG_X86_64
64*48b1f683STianyu Lan 	if (hv_isolation_type_en_snp()) {
65*48b1f683STianyu Lan 		__asm__ __volatile__("mov %4, %%r8\n"
66*48b1f683STianyu Lan 				     "vmmcall"
67*48b1f683STianyu Lan 				     : "=a" (hv_status), ASM_CALL_CONSTRAINT,
68*48b1f683STianyu Lan 				       "+c" (control), "+d" (input_address)
69*48b1f683STianyu Lan 				     :  "r" (output_address)
70*48b1f683STianyu Lan 				     : "cc", "memory", "r8", "r9", "r10", "r11");
71*48b1f683STianyu Lan 		return hv_status;
72*48b1f683STianyu Lan 	}
73*48b1f683STianyu Lan 
74fc53662fSVitaly Kuznetsov 	if (!hv_hypercall_pg)
75fc53662fSVitaly Kuznetsov 		return U64_MAX;
76fc53662fSVitaly Kuznetsov 
77fc53662fSVitaly Kuznetsov 	__asm__ __volatile__("mov %4, %%r8\n"
78e70e5892SDavid Woodhouse 			     CALL_NOSPEC
79f5caf621SJosh Poimboeuf 			     : "=a" (hv_status), ASM_CALL_CONSTRAINT,
80fc53662fSVitaly Kuznetsov 			       "+c" (control), "+d" (input_address)
81e70e5892SDavid Woodhouse 			     :  "r" (output_address),
82e70e5892SDavid Woodhouse 				THUNK_TARGET(hv_hypercall_pg)
83fc53662fSVitaly Kuznetsov 			     : "cc", "memory", "r8", "r9", "r10", "r11");
84fc53662fSVitaly Kuznetsov #else
85fc53662fSVitaly Kuznetsov 	u32 input_address_hi = upper_32_bits(input_address);
86fc53662fSVitaly Kuznetsov 	u32 input_address_lo = lower_32_bits(input_address);
87fc53662fSVitaly Kuznetsov 	u32 output_address_hi = upper_32_bits(output_address);
88fc53662fSVitaly Kuznetsov 	u32 output_address_lo = lower_32_bits(output_address);
89fc53662fSVitaly Kuznetsov 
90fc53662fSVitaly Kuznetsov 	if (!hv_hypercall_pg)
91fc53662fSVitaly Kuznetsov 		return U64_MAX;
92fc53662fSVitaly Kuznetsov 
93e70e5892SDavid Woodhouse 	__asm__ __volatile__(CALL_NOSPEC
94fc53662fSVitaly Kuznetsov 			     : "=A" (hv_status),
95f5caf621SJosh Poimboeuf 			       "+c" (input_address_lo), ASM_CALL_CONSTRAINT
96fc53662fSVitaly Kuznetsov 			     : "A" (control),
97fc53662fSVitaly Kuznetsov 			       "b" (input_address_hi),
98fc53662fSVitaly Kuznetsov 			       "D"(output_address_hi), "S"(output_address_lo),
99e70e5892SDavid Woodhouse 			       THUNK_TARGET(hv_hypercall_pg)
100fc53662fSVitaly Kuznetsov 			     : "cc", "memory");
101fc53662fSVitaly Kuznetsov #endif /* !x86_64 */
102fc53662fSVitaly Kuznetsov 	return hv_status;
103fc53662fSVitaly Kuznetsov }
104dee863b5SVitaly Kuznetsov 
105f0d2f5c2SJinank Jain /* Hypercall to the L0 hypervisor */
106f0d2f5c2SJinank Jain static inline u64 hv_do_nested_hypercall(u64 control, void *input, void *output)
1076a8edbd0SVitaly Kuznetsov {
108f0d2f5c2SJinank Jain 	return hv_do_hypercall(control | HV_HYPERCALL_NESTED, input, output);
109f0d2f5c2SJinank Jain }
110f0d2f5c2SJinank Jain 
111f0d2f5c2SJinank Jain /* Fast hypercall with 8 bytes of input and no output */
112f0d2f5c2SJinank Jain static inline u64 _hv_do_fast_hypercall8(u64 control, u64 input1)
113f0d2f5c2SJinank Jain {
114f0d2f5c2SJinank Jain 	u64 hv_status;
1156a8edbd0SVitaly Kuznetsov 
1166a8edbd0SVitaly Kuznetsov #ifdef CONFIG_X86_64
117*48b1f683STianyu Lan 	if (hv_isolation_type_en_snp()) {
118*48b1f683STianyu Lan 		__asm__ __volatile__(
119*48b1f683STianyu Lan 				"vmmcall"
120*48b1f683STianyu Lan 				: "=a" (hv_status), ASM_CALL_CONSTRAINT,
121*48b1f683STianyu Lan 				"+c" (control), "+d" (input1)
122*48b1f683STianyu Lan 				:: "cc", "r8", "r9", "r10", "r11");
123*48b1f683STianyu Lan 	} else {
124e70e5892SDavid Woodhouse 		__asm__ __volatile__(CALL_NOSPEC
125f5caf621SJosh Poimboeuf 				     : "=a" (hv_status), ASM_CALL_CONSTRAINT,
1266a8edbd0SVitaly Kuznetsov 				       "+c" (control), "+d" (input1)
127e70e5892SDavid Woodhouse 				     : THUNK_TARGET(hv_hypercall_pg)
1286a8edbd0SVitaly Kuznetsov 				     : "cc", "r8", "r9", "r10", "r11");
1296a8edbd0SVitaly Kuznetsov 	}
1306a8edbd0SVitaly Kuznetsov #else
1316a8edbd0SVitaly Kuznetsov 	{
1326a8edbd0SVitaly Kuznetsov 		u32 input1_hi = upper_32_bits(input1);
1336a8edbd0SVitaly Kuznetsov 		u32 input1_lo = lower_32_bits(input1);
1346a8edbd0SVitaly Kuznetsov 
135e70e5892SDavid Woodhouse 		__asm__ __volatile__ (CALL_NOSPEC
1366a8edbd0SVitaly Kuznetsov 				      : "=A"(hv_status),
1376a8edbd0SVitaly Kuznetsov 					"+c"(input1_lo),
138f5caf621SJosh Poimboeuf 					ASM_CALL_CONSTRAINT
1396a8edbd0SVitaly Kuznetsov 				      :	"A" (control),
1406a8edbd0SVitaly Kuznetsov 					"b" (input1_hi),
141e70e5892SDavid Woodhouse 					THUNK_TARGET(hv_hypercall_pg)
1426a8edbd0SVitaly Kuznetsov 				      : "cc", "edi", "esi");
1436a8edbd0SVitaly Kuznetsov 	}
1446a8edbd0SVitaly Kuznetsov #endif
1456a8edbd0SVitaly Kuznetsov 		return hv_status;
1466a8edbd0SVitaly Kuznetsov }
1476a8edbd0SVitaly Kuznetsov 
148f0d2f5c2SJinank Jain static inline u64 hv_do_fast_hypercall8(u16 code, u64 input1)
14953e52966SVitaly Kuznetsov {
150f0d2f5c2SJinank Jain 	u64 control = (u64)code | HV_HYPERCALL_FAST_BIT;
151f0d2f5c2SJinank Jain 
152f0d2f5c2SJinank Jain 	return _hv_do_fast_hypercall8(control, input1);
153f0d2f5c2SJinank Jain }
154f0d2f5c2SJinank Jain 
155f0d2f5c2SJinank Jain static inline u64 hv_do_fast_nested_hypercall8(u16 code, u64 input1)
156f0d2f5c2SJinank Jain {
157f0d2f5c2SJinank Jain 	u64 control = (u64)code | HV_HYPERCALL_FAST_BIT | HV_HYPERCALL_NESTED;
158f0d2f5c2SJinank Jain 
159f0d2f5c2SJinank Jain 	return _hv_do_fast_hypercall8(control, input1);
160f0d2f5c2SJinank Jain }
161f0d2f5c2SJinank Jain 
162f0d2f5c2SJinank Jain /* Fast hypercall with 16 bytes of input */
163f0d2f5c2SJinank Jain static inline u64 _hv_do_fast_hypercall16(u64 control, u64 input1, u64 input2)
164f0d2f5c2SJinank Jain {
165f0d2f5c2SJinank Jain 	u64 hv_status;
16653e52966SVitaly Kuznetsov 
16753e52966SVitaly Kuznetsov #ifdef CONFIG_X86_64
168*48b1f683STianyu Lan 	if (hv_isolation_type_en_snp()) {
169*48b1f683STianyu Lan 		__asm__ __volatile__("mov %4, %%r8\n"
170*48b1f683STianyu Lan 				     "vmmcall"
171*48b1f683STianyu Lan 				     : "=a" (hv_status), ASM_CALL_CONSTRAINT,
172*48b1f683STianyu Lan 				       "+c" (control), "+d" (input1)
173*48b1f683STianyu Lan 				     : "r" (input2)
174*48b1f683STianyu Lan 				     : "cc", "r8", "r9", "r10", "r11");
175*48b1f683STianyu Lan 	} else {
17653e52966SVitaly Kuznetsov 		__asm__ __volatile__("mov %4, %%r8\n"
17753e52966SVitaly Kuznetsov 				     CALL_NOSPEC
17853e52966SVitaly Kuznetsov 				     : "=a" (hv_status), ASM_CALL_CONSTRAINT,
17953e52966SVitaly Kuznetsov 				       "+c" (control), "+d" (input1)
18053e52966SVitaly Kuznetsov 				     : "r" (input2),
18153e52966SVitaly Kuznetsov 				       THUNK_TARGET(hv_hypercall_pg)
18253e52966SVitaly Kuznetsov 				     : "cc", "r8", "r9", "r10", "r11");
18353e52966SVitaly Kuznetsov 	}
18453e52966SVitaly Kuznetsov #else
18553e52966SVitaly Kuznetsov 	{
18653e52966SVitaly Kuznetsov 		u32 input1_hi = upper_32_bits(input1);
18753e52966SVitaly Kuznetsov 		u32 input1_lo = lower_32_bits(input1);
18853e52966SVitaly Kuznetsov 		u32 input2_hi = upper_32_bits(input2);
18953e52966SVitaly Kuznetsov 		u32 input2_lo = lower_32_bits(input2);
19053e52966SVitaly Kuznetsov 
19153e52966SVitaly Kuznetsov 		__asm__ __volatile__ (CALL_NOSPEC
19253e52966SVitaly Kuznetsov 				      : "=A"(hv_status),
19353e52966SVitaly Kuznetsov 					"+c"(input1_lo), ASM_CALL_CONSTRAINT
19453e52966SVitaly Kuznetsov 				      :	"A" (control), "b" (input1_hi),
19553e52966SVitaly Kuznetsov 					"D"(input2_hi), "S"(input2_lo),
19653e52966SVitaly Kuznetsov 					THUNK_TARGET(hv_hypercall_pg)
19753e52966SVitaly Kuznetsov 				      : "cc");
19853e52966SVitaly Kuznetsov 	}
19953e52966SVitaly Kuznetsov #endif
20053e52966SVitaly Kuznetsov 	return hv_status;
20153e52966SVitaly Kuznetsov }
20253e52966SVitaly Kuznetsov 
203f0d2f5c2SJinank Jain static inline u64 hv_do_fast_hypercall16(u16 code, u64 input1, u64 input2)
204f0d2f5c2SJinank Jain {
205f0d2f5c2SJinank Jain 	u64 control = (u64)code | HV_HYPERCALL_FAST_BIT;
206f0d2f5c2SJinank Jain 
207f0d2f5c2SJinank Jain 	return _hv_do_fast_hypercall16(control, input1, input2);
208f0d2f5c2SJinank Jain }
209f0d2f5c2SJinank Jain 
210f0d2f5c2SJinank Jain static inline u64 hv_do_fast_nested_hypercall16(u16 code, u64 input1, u64 input2)
211f0d2f5c2SJinank Jain {
212f0d2f5c2SJinank Jain 	u64 control = (u64)code | HV_HYPERCALL_FAST_BIT | HV_HYPERCALL_NESTED;
213f0d2f5c2SJinank Jain 
214f0d2f5c2SJinank Jain 	return _hv_do_fast_hypercall16(control, input1, input2);
215f0d2f5c2SJinank Jain }
216f0d2f5c2SJinank Jain 
217a46d15ccSVitaly Kuznetsov extern struct hv_vp_assist_page **hv_vp_assist_page;
218a46d15ccSVitaly Kuznetsov 
219a46d15ccSVitaly Kuznetsov static inline struct hv_vp_assist_page *hv_get_vp_assist_page(unsigned int cpu)
220a46d15ccSVitaly Kuznetsov {
221a46d15ccSVitaly Kuznetsov 	if (!hv_vp_assist_page)
222a46d15ccSVitaly Kuznetsov 		return NULL;
223a46d15ccSVitaly Kuznetsov 
224a46d15ccSVitaly Kuznetsov 	return hv_vp_assist_page[cpu];
225a46d15ccSVitaly Kuznetsov }
2267415aea6SVitaly Kuznetsov 
2276b48cb5fSK. Y. Srinivasan void __init hyperv_init(void);
2282ffd9e33SVitaly Kuznetsov void hyperv_setup_mmu_ops(void);
22993286261SVitaly Kuznetsov void set_hv_tscchange_cb(void (*cb)(void));
23093286261SVitaly Kuznetsov void clear_hv_tscchange_cb(void);
23193286261SVitaly Kuznetsov void hyperv_stop_tsc_emulation(void);
232eb914cfeSTianyu Lan int hyperv_flush_guest_mapping(u64 as);
233cc4edae4SLan Tianyu int hyperv_flush_guest_mapping_range(u64 as,
234cc4edae4SLan Tianyu 		hyperv_fill_flush_list_func fill_func, void *data);
235cc4edae4SLan Tianyu int hyperv_fill_flush_guest_mapping_list(
236cc4edae4SLan Tianyu 		struct hv_guest_mapping_flush_list *flush,
237cc4edae4SLan Tianyu 		u64 start_gfn, u64 end_gfn);
2382d2ccf24SThomas Gleixner 
2392d2ccf24SThomas Gleixner #ifdef CONFIG_X86_64
2406b48cb5fSK. Y. Srinivasan void hv_apic_init(void);
2413a025de6SYi Sun void __init hv_init_spinlocks(void);
2423a025de6SYi Sun bool hv_vcpu_is_preempted(int vcpu);
2432d2ccf24SThomas Gleixner #else
2442d2ccf24SThomas Gleixner static inline void hv_apic_init(void) {}
2452d2ccf24SThomas Gleixner #endif
2462d2ccf24SThomas Gleixner 
247e39397d1SWei Liu struct irq_domain *hv_create_pci_msi_domain(void);
248e39397d1SWei Liu 
249fb5ef351SWei Liu int hv_map_ioapic_interrupt(int ioapic_id, bool level, int vcpu, int vector,
250fb5ef351SWei Liu 		struct hv_interrupt_entry *entry);
251fb5ef351SWei Liu int hv_unmap_ioapic_interrupt(int ioapic_id, struct hv_interrupt_entry *entry);
252faff4406STianyu Lan 
253faff4406STianyu Lan #ifdef CONFIG_AMD_MEM_ENCRYPT
254faff4406STianyu Lan void hv_ghcb_msr_write(u64 msr, u64 value);
255faff4406STianyu Lan void hv_ghcb_msr_read(u64 msr, u64 *value);
25649d6a3c0STianyu Lan bool hv_ghcb_negotiate_protocol(void);
257611d4c71SGuilherme G. Piccoli void __noreturn hv_ghcb_terminate(unsigned int set, unsigned int reason);
258812b0597SMichael Kelley void hv_vtom_init(void);
259faff4406STianyu Lan #else
260faff4406STianyu Lan static inline void hv_ghcb_msr_write(u64 msr, u64 value) {}
261faff4406STianyu Lan static inline void hv_ghcb_msr_read(u64 msr, u64 *value) {}
26249d6a3c0STianyu Lan static inline bool hv_ghcb_negotiate_protocol(void) { return false; }
26349d6a3c0STianyu Lan static inline void hv_ghcb_terminate(unsigned int set, unsigned int reason) {}
264812b0597SMichael Kelley static inline void hv_vtom_init(void) {}
265faff4406STianyu Lan #endif
266faff4406STianyu Lan 
267faff4406STianyu Lan extern bool hv_isolation_type_snp(void);
268faff4406STianyu Lan 
269faff4406STianyu Lan static inline bool hv_is_synic_reg(unsigned int reg)
270faff4406STianyu Lan {
271b14033a3SNuno Das Neves 	return (reg >= HV_REGISTER_SCONTROL) &&
272b14033a3SNuno Das Neves 	       (reg <= HV_REGISTER_SINT15);
273b14033a3SNuno Das Neves }
274b14033a3SNuno Das Neves 
275b14033a3SNuno Das Neves static inline bool hv_is_sint_reg(unsigned int reg)
276b14033a3SNuno Das Neves {
277b14033a3SNuno Das Neves 	return (reg >= HV_REGISTER_SINT0) &&
278b14033a3SNuno Das Neves 	       (reg <= HV_REGISTER_SINT15);
279faff4406STianyu Lan }
280faff4406STianyu Lan 
2817fec185aSJinank Jain u64 hv_get_register(unsigned int reg);
2827fec185aSJinank Jain void hv_set_register(unsigned int reg, u64 value);
2837fec185aSJinank Jain u64 hv_get_non_nested_register(unsigned int reg);
2847fec185aSJinank Jain void hv_set_non_nested_register(unsigned int reg, u64 value);
285faff4406STianyu Lan 
286e39acc37SPeter Zijlstra static __always_inline u64 hv_raw_get_register(unsigned int reg)
287e39acc37SPeter Zijlstra {
288e39acc37SPeter Zijlstra 	return __rdmsr(reg);
289e39acc37SPeter Zijlstra }
290e39acc37SPeter Zijlstra 
29179cadff2SVitaly Kuznetsov #else /* CONFIG_HYPERV */
29279cadff2SVitaly Kuznetsov static inline void hyperv_init(void) {}
2932ffd9e33SVitaly Kuznetsov static inline void hyperv_setup_mmu_ops(void) {}
29493286261SVitaly Kuznetsov static inline void set_hv_tscchange_cb(void (*cb)(void)) {}
29593286261SVitaly Kuznetsov static inline void clear_hv_tscchange_cb(void) {}
29693286261SVitaly Kuznetsov static inline void hyperv_stop_tsc_emulation(void) {};
297a46d15ccSVitaly Kuznetsov static inline struct hv_vp_assist_page *hv_get_vp_assist_page(unsigned int cpu)
298a46d15ccSVitaly Kuznetsov {
299a46d15ccSVitaly Kuznetsov 	return NULL;
300a46d15ccSVitaly Kuznetsov }
301eb914cfeSTianyu Lan static inline int hyperv_flush_guest_mapping(u64 as) { return -1; }
302cc4edae4SLan Tianyu static inline int hyperv_flush_guest_mapping_range(u64 as,
303cc4edae4SLan Tianyu 		hyperv_fill_flush_list_func fill_func, void *data)
304cc4edae4SLan Tianyu {
305cc4edae4SLan Tianyu 	return -1;
306cc4edae4SLan Tianyu }
307faff4406STianyu Lan static inline void hv_set_register(unsigned int reg, u64 value) { }
308faff4406STianyu Lan static inline u64 hv_get_register(unsigned int reg) { return 0; }
3097fec185aSJinank Jain static inline void hv_set_non_nested_register(unsigned int reg, u64 value) { }
3107fec185aSJinank Jain static inline u64 hv_get_non_nested_register(unsigned int reg) { return 0; }
31179cadff2SVitaly Kuznetsov #endif /* CONFIG_HYPERV */
31279cadff2SVitaly Kuznetsov 
313765e33f5SMichael Kelley 
3143be1bc2fSSaurabh Sengar #ifdef CONFIG_HYPERV_VTL_MODE
3153be1bc2fSSaurabh Sengar void __init hv_vtl_init_platform(void);
3163be1bc2fSSaurabh Sengar #else
3173be1bc2fSSaurabh Sengar static inline void __init hv_vtl_init_platform(void) {}
3183be1bc2fSSaurabh Sengar #endif
3193be1bc2fSSaurabh Sengar 
320765e33f5SMichael Kelley #include <asm-generic/mshyperv.h>
321765e33f5SMichael Kelley 
322a2a47c6cSKy Srinivasan #endif
323