Home
last modified time | relevance | path

Searched refs:hart_mask (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/riscv/riscv/
H A Dsbi.c199 sbi_send_ipi(const u_long *hart_mask) in sbi_remote_fence_i()
206 *hart_mask, 0); in sbi_remote_fence_i()
209 (void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);
214 sbi_remote_fence_i(const u_long *hart_mask) in sbi_remote_sfence_vma()
221 *hart_mask, 0); in sbi_remote_sfence_vma()
224 (void)SBI_CALL1(SBI_REMOTE_FENCE_I, 0, (uint64_t)hart_mask);
229 sbi_remote_sfence_vma(const u_long *hart_mask, u_long start, u_long size) in sbi_remote_sfence_vma_asid()
236 *hart_mask, 0, start, size); in sbi_remote_sfence_vma_asid()
239 (void)SBI_CALL3(SBI_REMOTE_SFENCE_VMA, 0, (uint64_t)hart_mask, in sbi_remote_sfence_vma_asid()
245 sbi_remote_sfence_vma_asid(const u_long *hart_mask, u_lon in sbi_hsm_hart_start()
180 sbi_send_ipi(const u_long * hart_mask) sbi_send_ipi() argument
195 sbi_remote_fence_i(const u_long * hart_mask) sbi_remote_fence_i() argument
210 sbi_remote_sfence_vma(const u_long * hart_mask,u_long start,u_long size) sbi_remote_sfence_vma() argument
226 sbi_remote_sfence_vma_asid(const u_long * hart_mask,u_long start,u_long size,u_long asid) sbi_remote_sfence_vma_asid() argument
[all...]
/freebsd/sys/riscv/vmm/
H A Dvmm_sbi.c67 uint64_t hart_mask; in vmm_sbi_handle_rfnc() local
77 hart_mask = hypctx->guest_regs.hyp_a[0]; in vmm_sbi_handle_rfnc()
113 if (!(hart_mask & (1UL << (vcpu_id - hart_mask_base)))) in vmm_sbi_handle_rfnc()
156 uint64_t hart_mask; in vmm_sbi_handle_ipi() local
163 hart_mask = hypctx->guest_regs.hyp_a[0]; in vmm_sbi_handle_ipi()
165 dprintf("%s: hart_mask %lx\n", __func__, hart_mask); in vmm_sbi_handle_ipi()
173 while ((bit = ffs(hart_mask))) { in vmm_sbi_handle_ipi()
175 hart_mask &= ~(1u << hart_id); in vmm_sbi_handle_ipi()
/freebsd/sys/riscv/include/
H A Dsbi.h181 void sbi_send_ipi(const u_long *hart_mask);
184 void sbi_remote_fence_i(const u_long *hart_mask);
185 void sbi_remote_sfence_vma(const u_long *hart_mask, u_long start, u_long size);
186 void sbi_remote_sfence_vma_asid(const u_long *hart_mask, u_long start,