alpha_shared_intr_unset_cpu_xcall
alpha_shared_intr_unset_cpu_xcall(&intr[num], old_ci);
alpha_shared_intr_unset_cpu_xcall, &intr[num],