Home
last modified time | relevance | path

Searched refs:sbi_send_ipi (Results 1 – 4 of 4) sorted by relevance

/freebsd-13-stable/sys/riscv/riscv/
HDintr_machdep.c210 sbi_send_ipi(&mask); in ipi_send()
255 sbi_send_ipi(&mask); in ipi_selected()
HDsbi.c168 sbi_send_ipi(const u_long *hart_mask) in sbi_send_ipi() function
HDmp_machdep.c209 sbi_send_ipi(mask.__bits); in release_aps()
/freebsd-13-stable/sys/riscv/include/
HDsbi.h177 void sbi_send_ipi(const u_long *hart_mask);