[Crash-utility] [PATH v3 3/3] arm64: show a warning for 48-bit kernel with 4KB page
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(a)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