Searched refs:intr_ipi_increment_count (Results 1 – 1 of 1) sorted by relevance
1807 intr_ipi_increment_count(u_long *counter, u_int cpu) function1958 intr_ipi_increment_count(ii->ii_count, PCPU_GET(cpuid));