Clean fastpath restore (#7)

* add the aarch64 clean fastpath restore

* try to add the riscv fastpath_restore,but failed

* use a way to solve the problem

* clean some warnings

src/arch/aarch64/asid.rs

@@ -109,4 +109,4 @@ pub fn write_it_asid_pool(it_ap_cap: &cap_t, it_vspace_cap: &cap_t) {
     let asid_map = asid_map_t::new_vspace(it_vspace_cap.get_pgd_base_ptr());
     ap[IT_ASID] = asid_map;
     set_asid_pool_by_index(IT_ASID >> asidLowBits, ap as *const _ as usize);
-}
+}

src/arch/aarch64/machine.rs

@@ -66,7 +66,6 @@ pub fn invalidate_local_tlb_va_asid(mva_plus_asid: usize) {
     isb();
 }
 
-
 #[inline(always)]
 pub fn clean_by_va_pou(vaddr: usize, _paddr: usize) {
     unsafe {
@@ -151,7 +150,6 @@ pub fn clean_cache_range_poc(start: usize, end: usize, pstart: usize) {
     }
 }
 
-
 #[inline]
 pub fn clean_cache_range_pou(start: usize, end: usize, pstart: usize) {
     for idx in LINE_INDEX(start)..LINE_INDEX(end) + 1 {
@@ -332,4 +330,4 @@ pub enum mair_types {
     NORMAL_NC,
     NORMAL,
     NORMAL_WT,
-}
+}

src/arch/riscv64/utils.rs

@@ -70,8 +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 {
+    #[inline]
+    pub fn get_mut_ptr(&mut self) -> usize {
         self as *mut Self as usize
     }
 }