Hi Kristina, Will, I have asked the question on the patch "arm64: mm: print out correct page table entries", and as far received no answer on it: https://www.spinics.net/lists/arm-kernel/msg587269.html
But today I found the patch applied in linux-next (commit 67ce16ec15ce9d). Could you answer my questions? Yury
