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