diff --git a/src/arch/x86/cpu.c b/src/arch/x86/cpu.c
index 53c9a7ba7f..b0227c2947 100644
--- a/src/arch/x86/cpu.c
+++ b/src/arch/x86/cpu.c
@@ -188,11 +188,6 @@ static void identify_cpu(struct device *cpu)
 	}
 }
 
-static bool cpuid_match(uint32_t a, uint32_t b, uint32_t mask)
-{
-	return (a & mask) == (b & mask);
-}
-
 struct cpu_driver *find_cpu_driver(struct device *cpu)
 {
 	struct cpu_driver *driver;
diff --git a/src/arch/x86/include/arch/cpu.h b/src/arch/x86/include/arch/cpu.h
index 8bf06e5a42..cd8f8b4c97 100644
--- a/src/arch/x86/include/arch/cpu.h
+++ b/src/arch/x86/include/arch/cpu.h
@@ -124,6 +124,11 @@ struct device;
 #define CPUID_EXACT_MATCH_MASK		0xffffffff
 #define CPUID_ALL_STEPPINGS_MASK	0xfffffff0
 
+static inline bool cpuid_match(uint32_t a, uint32_t b, uint32_t mask)
+{
+	return (a & mask) == (b & mask);
+}
+
 struct cpu_device_id {
 	unsigned int vendor;
 	uint32_t device;