diff --git a/src/arch/aarch64/asid.rs b/src/arch/aarch64/asid.rs index dd7696c..9379fc6 100644 --- a/src/arch/aarch64/asid.rs +++ b/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); -} \ No newline at end of file +} diff --git a/src/arch/aarch64/machine.rs b/src/arch/aarch64/machine.rs index 45cbf21..ff79780 100644 --- a/src/arch/aarch64/machine.rs +++ b/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, -} \ No newline at end of file +} diff --git a/src/arch/riscv64/utils.rs b/src/arch/riscv64/utils.rs index 610d20e..aa74a79 100644 --- a/src/arch/riscv64/utils.rs +++ b/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 } }