intr_mask_xcall
intr_mask_xcall(ih, mask_arg);
xc_unicast(0, intr_mask_xcall, ih, mask_arg, ci);
intr_mask_xcall(ih, (void *)(uintptr_t)true);