| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef BOOT_UV_H | |
| #define BOOT_UV_H | |
| #if IS_ENABLED(CONFIG_KVM) | |
| void adjust_to_uv_max(unsigned long *vmax); | |
| void sanitize_prot_virt_host(void); | |
| #else | |
| static inline void adjust_to_uv_max(unsigned long *vmax) {} | |
| static inline void sanitize_prot_virt_host(void) {} | |
| #endif | |
| #if defined(CONFIG_PROTECTED_VIRTUALIZATION_GUEST) || IS_ENABLED(CONFIG_KVM) | |
| void uv_query_info(void); | |
| #else | |
| static inline void uv_query_info(void) {} | |
| #endif | |
| #endif /* BOOT_UV_H */ |