On Tue, 14 May 2013, Javi Merino wrote: > On Thu, May 09, 2013 at 11:34:00AM +0100, Lorenzo Pieralisi wrote: > > > +static inline void init_cpu_port(struct cpu_port *port, u32 index, u32 mpidr) > > The mpidr should be u64. Why? Nicolas