diff --git a/src/device/cpu_device.c b/src/device/cpu_device.c
index b07b555b52..f59cce3573 100644
--- a/src/device/cpu_device.c
+++ b/src/device/cpu_device.c
@@ -17,7 +17,7 @@
 #include <device/device.h>
 #include <console/console.h>
 
-struct device *add_cpu_device(struct bus *cpu_bus, unsigned apic_id,
+struct device *add_cpu_device(struct bus *cpu_bus, unsigned int apic_id,
 			      int enabled)
 {
 	struct device_path cpu_path;
@@ -42,8 +42,9 @@ struct device *add_cpu_device(struct bus *cpu_bus, unsigned apic_id,
 	return cpu;
 }
 
-void set_cpu_topology(struct device *cpu, unsigned node, unsigned package,
-		      unsigned core, unsigned thread)
+void set_cpu_topology(struct device *cpu, unsigned int node,
+		      unsigned int package, unsigned int core,
+		      unsigned int thread)
 {
 	cpu->path.apic.node_id = node;
 	cpu->path.apic.package_id = package;