git subrepo pull sel4_vspace

subrepo:
  subdir:   "sel4_vspace"
  merged:   "851011c"
upstream:
  origin:   "[email protected]:rel4team/sel4_vspace.git"
  branch:   "mi_dev"
  commit:   "851011c"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "ea10886"

src/arch/riscv64/utils.rs

@@ -70,4 +70,8 @@ impl PTE {
     pub fn get_ptr(&self) -> usize {
         self as *const Self as usize
     }
+	#[inline]
+	pub fn get_mut_ptr(&mut self) -> usize {
+        self as *mut Self as usize
+    }
 }