/* * Copyright (c) 2011-2014, Wind River Systems, Inc. * Copyright (c) 2019-2020 Intel Corp. * * SPDX-License-Identifier: Apache-2.0 */ #include #ifdef CONFIG_X86_64 #include #else #include #endif /* CONFIG_X86_64 */