On arm64, the kernel with 4KB page size supports 39-bit or 48-bit addresses for user and kernel space. The former uses 3-level of translation tables, while the latter 4-level. This patch is a reminder for the future task that we should add 4-level translation support. Signed-off-by: AKASHI Takahiro <takahiro.akashi@xxxxxxxxxx> --- arm64.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/arm64.c b/arm64.c index 245ee0f..0db727a 100644 --- a/arm64.c +++ b/arm64.c @@ -233,6 +233,8 @@ arm64_init(int when) switch (machdep->pagesize) { case 4096: + if (machdep->machspec->VA_BITS > 39) + error(FATAL, "VA_BITS > 39bits is not supported yet.\n"); machdep->flags |= VM_L3_4K; machdep->ptrs_per_pgd = PTRS_PER_PGD_L3_4K; if ((machdep->pgd = -- 2.8.1 -- Crash-utility mailing list Crash-utility@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/crash-utility