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 9 static inline void adjust_to_uv_max(unsigned long *vmax) {} 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 16 static inline void uv_query_info(void) {} 17 #endif 18 19 #endif /* BOOT_UV_H */ 20