fmt code

Author: Josen-B

CHANGELOG.md

@@ -0,0 +1,7 @@
+## 0.1.1
+
+- Support the new 4-level-ept feature. By default, level 3 ept is used. After enabling this feature, level 4 ept is used.
+
+## 0.1.0
+
+- Initial release.

Cargo.toml

@@ -29,7 +29,7 @@ tock-registers = "0.9"
 axerrno = "0.1.0"
 percpu = {version = "0.2.0", features = ["arm-el2"]}
 
-axaddrspace = "0.1.0"
+axaddrspace = "0.1"
 axdevice_base = "0.1.0"
 axvcpu = "0.1.0"
 axvisor_api = "0.1.0"

src/vcpu.rs

@@ -207,12 +207,12 @@ impl<H: AxVCpuHal> Aarch64VCpu<H> {
                 );
             }
             self.guest_system_regs.vtcr_el2 = (VTCR_EL2::PS::PA_48B_256TB
-            + VTCR_EL2::TG0::Granule4KB
-            + VTCR_EL2::SH0::Inner
-            + VTCR_EL2::ORGN0::NormalWBRAWA
-            + VTCR_EL2::IRGN0::NormalWBRAWA
-            + VTCR_EL2::SL0.val(0b10) // 0b10 means start at level 0
-            + VTCR_EL2::T0SZ.val(64 - 48))
+                + VTCR_EL2::TG0::Granule4KB
+                + VTCR_EL2::SH0::Inner
+                + VTCR_EL2::ORGN0::NormalWBRAWA
+                + VTCR_EL2::IRGN0::NormalWBRAWA
+                + VTCR_EL2::SL0.val(0b10) // 0b10 means start at level 0
+                + VTCR_EL2::T0SZ.val(64 - 48))
             .into();
         }