1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /******************************************************************************
3  * asm-x86/guest/pvh-boot.h
4  *
5  * Copyright (c) 2017 Citrix Systems Ltd.
6  */
7 
8 #ifndef __X86_PVH_BOOT_H__
9 #define __X86_PVH_BOOT_H__
10 
11 #include <xen/multiboot.h>
12 
13 #ifdef CONFIG_PVH_GUEST
14 
15 extern bool pvh_boot;
16 
17 void pvh_init(multiboot_info_t **mbi, module_t **mod);
18 void pvh_print_info(void);
19 
20 #else
21 
22 #include <xen/lib.h>
23 
24 #define pvh_boot 0
25 
pvh_init(multiboot_info_t ** mbi,module_t ** mod)26 static inline void pvh_init(multiboot_info_t **mbi, module_t **mod)
27 {
28     ASSERT_UNREACHABLE();
29 }
30 
pvh_print_info(void)31 static inline void pvh_print_info(void)
32 {
33     ASSERT_UNREACHABLE();
34 }
35 
36 #endif /* CONFIG_PVH_GUEST */
37 #endif /* __X86_PVH_BOOT_H__ */
38 
39 /*
40  * Local variables:
41  * mode: C
42  * c-file-style: "BSD"
43  * c-basic-offset: 4
44  * tab-width: 4
45  * indent-tabs-mode: nil
46  * End:
47  */
48