!161 refine mmu display

arch/armv8/aarch32/fmmu.c

@@ -638,7 +638,6 @@ static void FMmuRemapL1SectionToL2Table(u32 va,
 	u32 l1_index = (va >> FMMU_PTE_L1_INDEX_PA_SHIFT) &
 			    FMMU_PTE_L1_INDEX_MASK;
 	u32 rem_size = MB(1);
-	u32 reg_val;
 	int lock_key;
 
 	/*

arch/armv8/aarch64/fmmu.c

@@ -257,6 +257,7 @@ static fsize_t map_num = 0 ;
 
 static u64 xlat_tables[CONFIG_MAX_XLAT_TABLES * LN_XLAT_NUM_ENTRIES] __aligned(LN_XLAT_NUM_ENTRIES *sizeof(u64));
 static u16 xlat_use_count[CONFIG_MAX_XLAT_TABLES];
+static struct MappingInfo compressed_mappings[1000];
 
 /************************** Function Prototypes ******************************/
 extern void AsmInvalidateTlbAll();
@@ -1131,7 +1132,6 @@ int FMmuPrintReconstructedTables(int print_detailed)
     FMmuReverseSetMapping(all_mappings, &count);
     printf("address                              physical                               sec  d   size        permissions                              glb  shr  pageflags (remapped)\n\n");
     if (print_detailed == 0) {
-        struct MappingInfo compressed_mappings[1000];
         fsize_t compressed_count = FMmuCompressMappingInfo(all_mappings, count, compressed_mappings);
 
         for (fsize_t i = 0; i < compressed_count; i++) 

doc/ChangeLog.md

@@ -1,3 +1,11 @@
+# Phytium Standalone SDK 2024-06-18 ChangeLog
+
+Change Log since 2024-06-17
+
+## arch
+
+- refine mmu display
+
 # Phytium Standalone SDK 2024-06-14 ChangeLog
 
 Change Log since 2024-06-13

example/system/arch/armv8/mmu/master/sdkconfig

@@ -46,16 +46,15 @@ CONFIG_FMMU_NUM_L2_TABLES=4096
 #
 # Soc configuration
 #
-# CONFIG_TARGET_PHYTIUMPI is not set
+CONFIG_TARGET_PHYTIUMPI=y
 # CONFIG_TARGET_E2000Q is not set
-CONFIG_TARGET_E2000D=y
+# CONFIG_TARGET_E2000D is not set
 # CONFIG_TARGET_E2000S is not set
 # CONFIG_TARGET_FT2004 is not set
 # CONFIG_TARGET_D2000 is not set
 # CONFIG_TARGET_PD2308 is not set
-CONFIG_SOC_NAME="e2000"
-CONFIG_TARGET_TYPE_NAME="d"
-CONFIG_SOC_CORE_NUM=2
+CONFIG_SOC_NAME="phytiumpi"
+CONFIG_SOC_CORE_NUM=4
 CONFIG_F32BIT_MEMORY_ADDRESS=0x80000000
 CONFIG_F32BIT_MEMORY_LENGTH=0x80000000
 CONFIG_F64BIT_MEMORY_ADDRESS=0x2000000000
@@ -69,22 +68,21 @@ CONFIG_DEFAULT_DEBUG_PRINT_UART1=y
 #
 # Board Configuration
 #
-CONFIG_E2000D_DEMO_BOARD=y
-CONFIG_BOARD_NAME="demo"
-
-#
-# IO mux configuration when board start up
-#
+CONFIG_BOARD_NAME="firefly"
 # CONFIG_USE_SPI_IOPAD is not set
 # CONFIG_USE_GPIO_IOPAD is not set
 # CONFIG_USE_CAN_IOPAD is not set
 # CONFIG_USE_QSPI_IOPAD is not set
 # CONFIG_USE_PWM_IOPAD is not set
-# CONFIG_USE_ADC_IOPAD is not set
 # CONFIG_USE_MIO_IOPAD is not set
 # CONFIG_USE_TACHO_IOPAD is not set
 # CONFIG_USE_UART_IOPAD is not set
 # CONFIG_USE_THIRD_PARTY_IOPAD is not set
+CONFIG_FIREFLY_DEMO_BOARD=y
+
+#
+# IO mux configuration when board start up
+#
 # end of IO mux configuration when board start up
 
 # CONFIG_CUS_DEMO_BOARD is not set

example/system/arch/armv8/mmu/master/sdkconfig.h

@@ -42,16 +42,15 @@
 
 /* Soc configuration */
 
-/* CONFIG_TARGET_PHYTIUMPI is not set */
+#define CONFIG_TARGET_PHYTIUMPI
 /* CONFIG_TARGET_E2000Q is not set */
-#define CONFIG_TARGET_E2000D
+/* CONFIG_TARGET_E2000D is not set */
 /* CONFIG_TARGET_E2000S is not set */
 /* CONFIG_TARGET_FT2004 is not set */
 /* CONFIG_TARGET_D2000 is not set */
 /* CONFIG_TARGET_PD2308 is not set */
-#define CONFIG_SOC_NAME "e2000"
-#define CONFIG_TARGET_TYPE_NAME "d"
-#define CONFIG_SOC_CORE_NUM 2
+#define CONFIG_SOC_NAME "phytiumpi"
+#define CONFIG_SOC_CORE_NUM 4
 #define CONFIG_F32BIT_MEMORY_ADDRESS 0x80000000
 #define CONFIG_F32BIT_MEMORY_LENGTH 0x80000000
 #define CONFIG_F64BIT_MEMORY_ADDRESS 0x2000000000
@@ -64,21 +63,20 @@
 
 /* Board Configuration */
 
-#define CONFIG_E2000D_DEMO_BOARD
-#define CONFIG_BOARD_NAME "demo"
-
-/* IO mux configuration when board start up */
-
+#define CONFIG_BOARD_NAME "firefly"
 /* CONFIG_USE_SPI_IOPAD is not set */
 /* CONFIG_USE_GPIO_IOPAD is not set */
 /* CONFIG_USE_CAN_IOPAD is not set */
 /* CONFIG_USE_QSPI_IOPAD is not set */
 /* CONFIG_USE_PWM_IOPAD is not set */
-/* CONFIG_USE_ADC_IOPAD is not set */
 /* CONFIG_USE_MIO_IOPAD is not set */
 /* CONFIG_USE_TACHO_IOPAD is not set */
 /* CONFIG_USE_UART_IOPAD is not set */
 /* CONFIG_USE_THIRD_PARTY_IOPAD is not set */
+#define CONFIG_FIREFLY_DEMO_BOARD
+
+/* IO mux configuration when board start up */
+
 /* end of IO mux configuration when board start up */
 /* CONFIG_CUS_DEMO_BOARD is not set */