162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifndef BOOT_UV_H 362306a36Sopenharmony_ci#define BOOT_UV_H 462306a36Sopenharmony_ci 562306a36Sopenharmony_ci#if IS_ENABLED(CONFIG_KVM) 662306a36Sopenharmony_ciunsigned long adjust_to_uv_max(unsigned long limit); 762306a36Sopenharmony_civoid sanitize_prot_virt_host(void); 862306a36Sopenharmony_ci#else 962306a36Sopenharmony_cistatic inline unsigned long adjust_to_uv_max(unsigned long limit) 1062306a36Sopenharmony_ci{ 1162306a36Sopenharmony_ci return limit; 1262306a36Sopenharmony_ci} 1362306a36Sopenharmony_cistatic inline void sanitize_prot_virt_host(void) {} 1462306a36Sopenharmony_ci#endif 1562306a36Sopenharmony_ci 1662306a36Sopenharmony_ci#if defined(CONFIG_PROTECTED_VIRTUALIZATION_GUEST) || IS_ENABLED(CONFIG_KVM) 1762306a36Sopenharmony_civoid uv_query_info(void); 1862306a36Sopenharmony_ci#else 1962306a36Sopenharmony_cistatic inline void uv_query_info(void) {} 2062306a36Sopenharmony_ci#endif 2162306a36Sopenharmony_ci 2262306a36Sopenharmony_ci#endif /* BOOT_UV_H */ 23