1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef BOOT_UV_H
3 #define BOOT_UV_H
4 
5 unsigned long adjust_to_uv_max(unsigned long limit);
6 void sanitize_prot_virt_host(void);
7 void uv_query_info(void);
8 
9 #endif /* BOOT_UV_H */
10