Changeset View
Changeset View
Standalone View
Standalone View
sys/sys/intr.h
Show First 20 Lines • Show All 158 Lines • ▼ Show 20 Lines | intr_ipi_increment_count(u_long *counter, u_int cpu) | ||||
KASSERT(cpu < MAXCPU, ("%s: too big cpu %u", __func__, cpu)); | KASSERT(cpu < MAXCPU, ("%s: too big cpu %u", __func__, cpu)); | ||||
counter[cpu]++; | counter[cpu]++; | ||||
} | } | ||||
/* Virtualization for interrupt source IPI counters setup. */ | /* Virtualization for interrupt source IPI counters setup. */ | ||||
u_long * intr_ipi_setup_counters(const char *name); | u_long * intr_ipi_setup_counters(const char *name); | ||||
#endif | #endif | ||||
extern int intr_nirq; /* number of IRQs on intrng platforms */ | |||||
#endif /* _SYS_INTR_H */ | #endif /* _SYS_INTR_H */ |