[RFC PATCH v3] drivers: bus: add ARM CCI support

Nicolas Pitre nicolas.pitre at linaro.org
Wed May 15 08:21:32 EST 2013


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


More information about the devicetree-discuss mailing list