选择三级/四级页表

[Josen-B]

1. 提交PR

主线版本

• use 3 level ept paging axaddrspace#23
• use 3 level ept paging arm_vcpu#40
• add feature: 4-level-ept axvm#25
• add feature: 4-level-ept #238

新版本（适配新arceos架构版本）

• use 3 level ept paging axaddrspace#23
• use 3 level ept paging arm_vcpu#39
• add feature: 4-level-ept axvm#26
• add feature: 4-level-ept #247

提交 axaddrspace 和 arm_vcpu 到crate.io新版本

• publish crates.io version 0.1.1 arm_vcpu#43
• publish crates.io version 0.1.1 axaddrspace#24

2. 问题记录

一些硬件开发板不支持4级页表，例如rk3568,rk3588

查阅arm手册
Cortex-A55内核支持40位物理地址范围，允许对1TB的物理内存进行寻址。在Cortex-A55 TRM A5.1.1主要功能中提到。如果页面大小为4KB，则4级预留需要48位。

肖辉工程师遇到过同样问题，做了相关分析：

• vgicv3和vgicv2上板验证 #216