xen_cpu_intr_init
void xen_cpu_intr_init(struct cpu_info *);
__strong_alias(cpu_intr_init, xen_cpu_intr_init);