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

[Nicolas Pitre]

On Wed, 15 May 2013, Lorenzo Pieralisi wrote:

> On Tue, May 14, 2013 at 11:21:32PM +0100, Nicolas Pitre wrote:
> > 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?
> 
> Since on arm64 MPIDR_EL1 size is 64 bits, we need the driver to work on
> both arm and arm64.

OK.

Are you OK for me to carry this patch in the series for MCPM support 
on RTSM?  I would like to send it to arm-soc ASAP.


Nicolas