Symbol: xen_intr_active_ports
sys/dev/xen/bus/xen_intr.c
404
l2 = xen_intr_active_ports(pc, l1i);
sys/dev/xen/bus/xen_intr.c
450
l2 = xen_intr_active_ports(pc, l1i);