device/cpu_device.c: Use 'unsigned int' instead of 'unsigned'

Change-Id: I9f96d8c8e6cf2715e62ab3715da83740db8cce40
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/33329
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Vlado Cibic
This commit is contained in:
Elyes HAOUAS 2019-06-09 10:23:25 +02:00 committed by Martin Roth
parent 7c369c1e45
commit 8cf8a6375e
1 changed files with 4 additions and 3 deletions

View File

@ -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;