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?