interrupt_get_count
__strong_alias(interrupt_get_count, xen_intr_get_count);
__weak_alias(interrupt_get_count, nullop);
interrupt_get_count(ids[intr_idx], cpu_idx);
uint64_t interrupt_get_count(const char *, u_int);