1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef BOOT_UV_H
3 #define BOOT_UV_H
4 
5 #if IS_ENABLED(CONFIG_KVM)
6 void adjust_to_uv_max(unsigned long *vmax);
7 void sanitize_prot_virt_host(void);
8 #else
adjust_to_uv_max(unsigned long * vmax)9 static inline void adjust_to_uv_max(unsigned long *vmax) {}
sanitize_prot_virt_host(void)10 static inline void sanitize_prot_virt_host(void) {}
11 #endif
12 
13 #if defined(CONFIG_PROTECTED_VIRTUALIZATION_GUEST) || IS_ENABLED(CONFIG_KVM)
14 void uv_query_info(void);
15 #else
uv_query_info(void)16 static inline void uv_query_info(void) {}
17 #endif
18 
19 #endif /* BOOT_UV_H */
20