// SPDX-License-Identifier: GPL-2.0-only #include <linux/types.h> #include <linux/export.h> #include <asm/cpu.h> unsigned int x86_family(unsigned int sig) { … } EXPORT_SYMBOL_GPL(…); unsigned int x86_model(unsigned int sig) { … } EXPORT_SYMBOL_GPL(…); unsigned int x86_stepping(unsigned int sig) { … } EXPORT_SYMBOL_GPL(…);