1 /* SPDX-License-Identifier: GPL-2.0 */
5 #if IS_ENABLED(CONFIG_KVM)
6 void adjust_to_uv_max(unsigned long *vmax);
8 static inline void adjust_to_uv_max(unsigned long *vmax) {}
11 #if defined(CONFIG_PROTECTED_VIRTUALIZATION_GUEST) || IS_ENABLED(CONFIG_KVM)
12 void uv_query_info(void);
14 static inline void uv_query_info(void) {}
17 #endif /* BOOT_UV_H */