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