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