tests/xlat-os: Recognize aarch64 PTE format

The aarch64 PTE format is displayed as "pte_format=3", because the
corresponding string representation is missing.

Signed-off-by: Petr Tesarik <[email protected]>

Author: ptesarik

tests/xlat-os.c

@@ -245,6 +245,7 @@ print_pgt(const addrxlat_meth_t *meth)
 		[ADDRXLAT_PTE_NONE] = "none",
 		[ADDRXLAT_PTE_PFN32] = "pfn32",
 		[ADDRXLAT_PTE_PFN64] = "pfn64",
+		[ADDRXLAT_PTE_AARCH64] = "aarch64",
 		[ADDRXLAT_PTE_IA32] = "ia32",
 		[ADDRXLAT_PTE_IA32_PAE] = "ia32_pae",
 		[ADDRXLAT_PTE_X86_64] = "x86_64",