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