On Tue, 2015-06-30 at 16:00 +0800, Chen Baozi wrote:
> + mpidr_aff = vcpuid_to_vaffinity(cpu);
> + DPRINT("Create cpu@%"PRIx64" (logical CPUID: %d) node\n", mpidr_aff,
> cpu);
>
> - snprintf(buf, sizeof(buf), "cpu@%u", cpu);
> + snprintf(buf, sizeof(buf), "cpu@%lx", mpidr_aff);
While committing I got, on arm32:
domain_build.c: In function ‘make_cpus_node’:
domain_build.c:773:9: error: format ‘%lx’ expects argument of type ‘long
unsigned int’, but argument 4 has type ‘uint64_t’ [-Werror=format]
So I made %lx into %"PRIx64" as in the DPRINT above.
> res = fdt_begin_node(fdt, buf);
> if ( res )
> return res;
> @@ -776,7 +784,7 @@ static int make_cpus_node(const struct domain *d, void
> *fdt,
> if ( res )
> return res;
>
> - res = fdt_property_cell(fdt, "reg", cpu);
> + res = fdt_property_cell(fdt, "reg", mpidr_aff);
> if ( res )
> return res;
>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
