[Qemu-devel] Getting current PGD on Linux@ARM

[Igor R]

Hello,

On x86 one can get the current PGD from CR3. What's the right way to
do this on ARM?

In a code based on an old QEMU version, I see the following:
pgd = env->cp15.c2_base0 & env->cp15.c2_base_mask;
But in the recent QEMU version c2_base0 field is absent. Instead,
there's ttbr0[] array. So should I just use ttbr0[current_el]?

Thanks.