void __domain_crash_synchronous(void) { __domain_crash(current->domain); vcpu_end_shutdown_deferral(current); for ( ; ; ) do_softirq(); }
int arch_vcpu_reset(struct vcpu *v) { vcpu_end_shutdown_deferral(v); return 0; }