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