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.aka...@linaro.org>
---
 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@redhat.com
https://www.redhat.com/mailman/listinfo/crash-utility

Reply via email to