The GIC_DISTRIBUTOR_PPTR is the virtual address at which the kernel
can access the physical address range of the distributor. The address
is somewhat arbitrary. We start at 0xf..f0000 and bump this pointer for
each kernel-accessible device (GIC/TIMER/UART/etc).
On Fri, 2017-11-03 at 18:55 +0530, Muneeswaran Rajendran wrote:
> Hi sel4 development team,
> I understand from the sel4 kernel the paddr and pptr used in the
> kernel framework to compute the page table entry. I found from ref
> manual GICD_PADDR defined as (ARM_PERIPHBASE (0x50040000) + 0x1000)
> 0x50041000 for that GIC_DISTRIBUTOR_PPTR used as 0xffffffffffff3000.
> This details was not able to see in the ref manual and other sel4
> Can someone help to understand the pptr calculation w.r.t sel4?
> Thanks in advance
> Devel mailing list