use sbi_spec::binary::SbiRet;
#[inline]
pub fn handle_ecall(
function: usize,
param0: usize,
param1: usize,
param2: usize,
param3: usize,
param4: usize,
) -> SbiRet {
use crate::rfence::*;
use sbi_spec::rfnc::*;
let hart_mask = crate::HartMask::from_mask_base(param0, param1);
match function {
REMOTE_FENCE_I => remote_fence_i(hart_mask),
REMOTE_SFENCE_VMA => remote_sfence_vma(hart_mask, param2, param3),
REMOTE_SFENCE_VMA_ASID => remote_sfence_vma_asid(hart_mask, param2, param3, param4),
REMOTE_HFENCE_GVMA_VMID => remote_hfence_gvma_vmid(hart_mask, param2, param3, param4),
REMOTE_HFENCE_GVMA => remote_hfence_gvma(hart_mask, param2, param3),
REMOTE_HFENCE_VVMA_ASID => remote_hfence_vvma_asid(hart_mask, param2, param3, param4),
REMOTE_HFENCE_VVMA => remote_hfence_vvma(hart_mask, param2, param3),
_ => SbiRet::not_supported(),
}
}