cpu_intr_count
__strong_alias(cpu_intr_count, xen_cpu_intr_count);
cs->cs_intrcnt = cpu_intr_count(ci) + 1;
u_int cpu_intr_count(struct cpu_info *);