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