Page table entry (PTE) descriptor in Linux kernel for ARM

Question

I have read article of Duartes from: http://duartes.org/gustavo/blog/post/how-the-kernel-manages-your-memory

In part that describes about PTE content, bit [0:11] is

Answer 1

The ARM Linux code is different depending on the type of ARM and other conditionals. pgtable.h, page.h and mostly pgtable-2level.h give some details. There are two versions of PTE values; one for Linux and one for hardware.