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

  /src/sys/sys/
ipi.h 68 u_int ipi_register(ipi_func_t, void *);
  /src/sys/kern/
subr_ipi.c 129 * ipi_register: register an asynchronous IPI handler.
134 ipi_register(ipi_func_t func, void *arg) function
149 printf("WARNING: ipi_register: table full, increase IPI_MAXREG\n");
kern_softint.c 384 if ((ipi_id = ipi_register(softint_schedule, sih)) == 0) {
subr_copy.c 526 ucas_critical_ipi = ipi_register(ucas_critical_cpu_gate, NULL);

Completed in 20 milliseconds