acrn-hypervisor/misc/hv_prebuild/hv_prebuild.h
Ziheng Li eb8bcb06b3 Update copyright year range in code headers
Modified the copyright year range in code, and corrected "int32_tel"
into "Intel" in two "hypervisor/include/debug/profiling.h" and
"hypervisor/include/debug/profiling_internal.h".

Tracked-On: #7559
Signed-off-by: Ziheng Li <ziheng.li@intel.com>
2022-07-15 11:48:35 +08:00

14 lines
290 B
C

/*
* Copyright (C) 2020-2022 Intel Corporation.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
/* typedef size_t in types.h is conflicted with stdio.h, use below method as WR */
#define size_t new_size_t
#include <stdio.h>
#undef size_t
#include <util.h>
bool sanitize_vm_config(void);