/* SPDX-License-Identifier: GPL-2.0 */ #ifdef CONFIG_X86_32 # include #else # include #endif