intr_activate_xcall
intr_activate_xcall(ih, NULL);
where = xc_unicast(0, intr_activate_xcall, ih,
static void intr_activate_xcall(void *, void *);