Searched refs:xen_intr_get_count (Results 1 – 1 of 1) sorted by relevance
131 static uint64_t xen_intr_get_count(const char *, u_int);148 .pic_intr_get_count = xen_intr_get_count,1190 xen_intr_get_count(const char *intrid, u_int cpu_idx) in xen_intr_get_count() function1291 __strong_alias(interrupt_get_count, xen_intr_get_count);1294 __strong_alias(x86_intr_get_count, xen_intr_get_count);