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