Symbol: intr_redistribute_xc_s2
sys/arch/x86/x86/intr.c
1744
where = xc_unicast(0, intr_redistribute_xc_s2,
sys/arch/x86/x86/intr.c
242
static void intr_redistribute_xc_s2(void *, void *);