1 /* SPDX-License-Identifier: GPL-2.0 */
5 #if IS_ENABLED(CONFIG_KVM)
6 unsigned long adjust_to_uv_max(unsigned long limit);
7 void sanitize_prot_virt_host(void);
9 static inline unsigned long adjust_to_uv_max(unsigned long limit)
13 static inline void sanitize_prot_virt_host(void) {}
16 #if defined(CONFIG_PROTECTED_VIRTUALIZATION_GUEST) || IS_ENABLED(CONFIG_KVM)
17 void uv_query_info(void);
19 static inline void uv_query_info(void) {}
22 #endif /* BOOT_UV_H */