src/sys/sys/intr.h
/* Virtualization for interrupt source IPI counter increment. */
Virtualization for interrupt source IPI counter increment.
Virtualization for interrupt source IPI counter increment .
static inline void
intr_ipi_increment_count(u_long *counter, u_int cpu)
{
	KASSERT(cpu < MAXCPU, ("%s: too big cpu %u", __func__, cpu));
	counter[cpu]++;
}
static inline void intr_ipi_increment_count ( u_long * counter , u_int cpu ) { KASSERT ( cpu < MAXCPU , ( " " , __func__ , cpu ) ) ; counter [ cpu ] ++ ; }
Virtualization for interrupt source IPI counter increment.
Virtualization for interrupt source IPI counter increment .