core: make phys_processor_id() return unsigned long

[jailhouse.git] / hypervisor / arch / arm / lib.c

diff --git a/hypervisor/arch/arm/lib.c b/hypervisor/arch/arm/lib.c
index c96d18b3e03394d8f377adcef20f1dbc731ebbcb..cf81117b3aabb7d0fd49da7716daef3cece43850 100644 (file)
--- a/hypervisor/arch/arm/lib.c
+++ b/hypervisor/arch/arm/lib.c
@@ -15,9 +15,9 @@
 #include <jailhouse/types.h>
 #include <asm/sysregs.h>
 
-int phys_processor_id(void)
+unsigned long phys_processor_id(void)
 {
-       u32 mpidr;
+       unsigned long mpidr;
 
        arm_read_sysreg(MPIDR_EL1, mpidr);
        return mpidr & MPIDR_CPUID_MASK;