interrupt_shield_xcall
interrupt_shield_xcall(ci, (void *)(intptr_t)shield);
where = xc_unicast(0, interrupt_shield_xcall, ci,