1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /******************************************************************************
3  * asm-x86/guest.h
4  *
5  * Copyright (c) 2017 Citrix Systems Ltd.
6  */
7 
8 #ifndef __X86_GUEST_H__
9 #define __X86_GUEST_H__
10 
11 #include <asm/guest/hyperv.h>
12 #include <asm/guest/hypervisor.h>
13 #include <asm/guest/pvh-boot.h>
14 #include <asm/guest/xen.h>
15 #include <asm/guest/xen-hcall.h>
16 #include <asm/pv/shim.h>
17 
18 #endif /* __X86_GUEST_H__ */
19 
20 /*
21  * Local variables:
22  * mode: C
23  * c-file-style: "BSD"
24  * c-basic-offset: 4
25  * tab-width: 4
26  * indent-tabs-mode: nil
27  * End:
28  */
29