diff options
| -rw-r--r-- | src/device/cpu_device.c | 7 |
1 files changed, 4 insertions, 3 deletions
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; |