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