On 12.01.2016 13:03, Marc Zyngier wrote:

 > +	typer = readq_relaxed(redist_base + GICR_TYPER);
 > +	/* don't map reserved page as it's buggy to access it */
 > +	size = (typer & GICR_TYPER_VLPIS) ? SZ_64K * 3 : SZ_64K * 2;

[...]

Also, please map the whole region for the
redistributor as we have on the DT side (4 64kB pages for VLPIS capable
redistributors).

Hanjun, is it something you had problem with?

Tomasz