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