|
From: | tugouxp |
Subject: | What is the "E10, E20_0 XXX" Flag means on arm port? |
Date: | Wed, 17 Jun 2020 20:52:58 +0800 (CST) |
2879 /*
2880 ¦* A-profile.
2881 ¦*/
2882 ARMMMUIdx_E10_0 = 0 | ARM_MMU_IDX_A,
2883 ARMMMUIdx_E20_0 = 1 | ARM_MMU_IDX_A,
2884
2885 ARMMMUIdx_E10_1 = 2 | ARM_MMU_IDX_A,
2886 ARMMMUIdx_E10_1_PAN = 3 | ARM_MMU_IDX_A,
2887
2888 ARMMMUIdx_E2 = 4 | ARM_MMU_IDX_A,
2889 ARMMMUIdx_E20_2 = 5 | ARM_MMU_IDX_A,
2890 ARMMMUIdx_E20_2_PAN = 6 | ARM_MMU_IDX_A,
2891
2892 ARMMMUIdx_SE10_0 = 7 | ARM_MMU_IDX_A,
2893 ARMMMUIdx_SE10_1 = 8 | ARM_MMU_IDX_A,
2894 ARMMMUIdx_SE10_1_PAN = 9 | ARM_MMU_IDX_A,
2895 ARMMMUIdx_SE3 = 10 | ARM_MMU_IDX_A,
2896
2897 ARMMMUIdx_Stage2 = 11 | ARM_MMU_IDX_A,
[Prev in Thread] | Current Thread | [Next in Thread] |