Hi Munees,  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).  - Alex 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 reference. 

Can someone help to understand the pptr calculation w.r.t sel4?

Thanks in advance Munees _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel