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