HomeSort by: relevance | last modified time | path
    Searched refs:cpu_ipi_wait (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/riscv/riscv/
cpu_subr.c 209 cpu_ipi_wait(const char *s, const kcpuset_t *watchset, const kcpuset_t *wanted) function
274 cpu_ipi_wait("halt", cpus_halted, kcp);
335 cpu_ipi_wait("pause", cpus_paused, kcp);
356 cpu_ipi_wait("resume", cpus_resumed, kcp);
377 cpu_ipi_wait("resume", cpus_resumed, kcp);
  /src/sys/arch/powerpc/powerpc/
powerpc_machdep.c 579 cpu_ipi_wait(kcpuset_t *watchset, __cpuset_t mask) function
633 if (cpu_ipi_wait(csi->cpus_halted, cpumask))
690 if (cpu_ipi_wait(csi->cpus_paused, cpuset))
706 if (cpu_ipi_wait(csi->cpus_paused, cpuset))
723 if (cpu_ipi_wait(csi->cpus_resumed, cpuset))
  /src/sys/arch/mips/mips/
cpu_subr.c 122 static void cpu_ipi_wait(const char *, const kcpuset_t *, const kcpuset_t *);
677 cpu_ipi_wait(const char *s, const kcpuset_t *watchset, const kcpuset_t *wanted) function
743 cpu_ipi_wait("halt", cpus_halted, kcp);
804 cpu_ipi_wait("pause", cpus_paused, kcp);
824 cpu_ipi_wait("resume", cpus_resumed, kcp);
845 cpu_ipi_wait("resume", cpus_resumed, kcp);

Completed in 14 milliseconds