sbi_remote_fence_i
void sbi_remote_fence_i(const u_long *hart_mask);
sbi_remote_fence_i(mask.__bits);