123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228 |
- use crate::binary::{sbi_call_2, sbi_call_4, sbi_call_5};
- use sbi_spec::{
- binary::{HartMask, SbiRet},
- rfnc::{
- EID_RFNC, REMOTE_FENCE_I, REMOTE_HFENCE_GVMA, REMOTE_HFENCE_GVMA_VMID, REMOTE_HFENCE_VVMA,
- REMOTE_HFENCE_VVMA_ASID, REMOTE_SFENCE_VMA, REMOTE_SFENCE_VMA_ASID,
- },
- };
- #[inline]
- pub fn remote_fence_i(hart_mask: HartMask) -> SbiRet {
- let (hart_mask, hart_mask_base) = hart_mask.into_inner();
- sbi_call_2(EID_RFNC, REMOTE_FENCE_I, hart_mask, hart_mask_base)
- }
- #[inline]
- pub fn remote_sfence_vma(hart_mask: HartMask, start_addr: usize, size: usize) -> SbiRet {
- let (hart_mask, hart_mask_base) = hart_mask.into_inner();
- sbi_call_4(
- EID_RFNC,
- REMOTE_SFENCE_VMA,
- hart_mask,
- hart_mask_base,
- start_addr,
- size,
- )
- }
- #[inline]
- pub fn remote_sfence_vma_asid(
- hart_mask: HartMask,
- start_addr: usize,
- size: usize,
- asid: usize,
- ) -> SbiRet {
- let (hart_mask, hart_mask_base) = hart_mask.into_inner();
- sbi_call_5(
- EID_RFNC,
- REMOTE_SFENCE_VMA_ASID,
- hart_mask,
- hart_mask_base,
- start_addr,
- size,
- asid,
- )
- }
- #[inline]
- pub fn remote_hfence_gvma_vmid(
- hart_mask: HartMask,
- start_addr: usize,
- size: usize,
- vmid: usize,
- ) -> SbiRet {
- let (hart_mask, hart_mask_base) = hart_mask.into_inner();
- sbi_call_5(
- EID_RFNC,
- REMOTE_HFENCE_GVMA_VMID,
- hart_mask,
- hart_mask_base,
- start_addr,
- size,
- vmid,
- )
- }
- #[inline]
- pub fn remote_hfence_gvma(hart_mask: HartMask, start_addr: usize, size: usize) -> SbiRet {
- let (hart_mask, hart_mask_base) = hart_mask.into_inner();
- sbi_call_4(
- EID_RFNC,
- REMOTE_HFENCE_GVMA,
- hart_mask,
- hart_mask_base,
- start_addr,
- size,
- )
- }
- #[inline]
- pub fn remote_hfence_vvma_asid(
- hart_mask: HartMask,
- start_addr: usize,
- size: usize,
- asid: usize,
- ) -> SbiRet {
- let (hart_mask, hart_mask_base) = hart_mask.into_inner();
- sbi_call_5(
- EID_RFNC,
- REMOTE_HFENCE_VVMA_ASID,
- hart_mask,
- hart_mask_base,
- start_addr,
- size,
- asid,
- )
- }
- #[inline]
- pub fn remote_hfence_vvma(hart_mask: HartMask, start_addr: usize, size: usize) -> SbiRet {
- let (hart_mask, hart_mask_base) = hart_mask.into_inner();
- sbi_call_4(
- EID_RFNC,
- REMOTE_HFENCE_VVMA,
- hart_mask,
- hart_mask_base,
- start_addr,
- size,
- )
- }
|