Symbol: intr_redistribute_xc_s1
sys/arch/x86/x86/intr.c
1737
where = xc_unicast(0, intr_redistribute_xc_s1, isp, nci, oci);
sys/arch/x86/x86/intr.c
241
static void intr_redistribute_xc_s1(void *, void *);