Add the VTTBR_EL2 register

Author: AGSaidi

src/registers.rs

@@ -67,6 +67,7 @@ mod ttbr1_el1;
 mod vbar_el1;
 mod vbar_el2;
 mod vtcr_el2;
+mod vttbr_el2;
 
 pub use actlr_el1::ACTLR_EL1;
 pub use actlr_el2::ACTLR_EL2;
@@ -129,3 +130,4 @@ pub use ttbr1_el1::TTBR1_EL1;
 pub use vbar_el1::VBAR_EL1;
 pub use vbar_el2::VBAR_EL2;
 pub use vtcr_el2::VTCR_EL2;
+pub use vttbr_el2::VTTBR_EL2;

src/registers/vttbr_el2.rs

@@ -0,0 +1,57 @@
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+//
+// Copyright (c) 2018-2022 by the author(s)
+//
+// Author(s):
+//   - KarimAllah Ahmed <karahmed@amazon.com>
+//   - Andre Richter <andre.o.richter@gmail.com>
+
+use tock_registers::{
+    interfaces::{Readable, Writeable},
+    register_bitfields,
+};
+
+register_bitfields! {u64,
+    pub VTTBR_EL2 [
+        /// An VMID for the translation table
+        ///
+        /// If the implementation only supports 8-bit VM IDs the top 8 bits are RES0
+        VMID  OFFSET(48) NUMBITS(16) [],
+
+        /// Translation table base address
+        BADDR OFFSET(1) NUMBITS(48) [],
+
+        /// Common not Private
+        CnP   OFFSET(0) NUMBITS(1) []
+    ]
+}
+
+pub struct Reg;
+
+impl Readable for Reg {
+    type T = u64;
+    type R = VTTBR_EL2::Register;
+
+    sys_coproc_read_raw!(u64, "VTTBR_EL2", "x");
+}
+
+impl Writeable for Reg {
+    type T = u64;
+    type R = VTTBR_EL2::Register;
+
+    sys_coproc_write_raw!(u64, "VTTBR_EL2", "x");
+}
+
+impl Reg {
+    #[inline(always)]
+    pub fn get_baddr(&self) -> u64 {
+        self.read(VTTBR_EL2::BADDR) << 1
+    }
+
+    #[inline(always)]
+    pub fn set_baddr(&self, addr: u64) {
+        self.write(VTTBR_EL2::BADDR.val(addr >> 1));
+    }
+}
+
+pub const VTTBR_EL2: Reg = Reg {};