intr_establish_xcall
intr_establish_xcall(ih, (void *)(intptr_t)idt_vec);
where = xc_unicast(0, intr_establish_xcall, ih,
static void intr_establish_xcall(void *, void *);