[Crash-utility] [PATH v3 3/3] arm64: show a warning for 48-bit kernel with 4KB page

[AKASHI Takahiro]

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 at 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