void machine_halt(void) { warn_early_printk(); arch_local_irq_disable_all(); smp_send_stop(); hv_halt(); }
void early_panic(const char *fmt, ...) { va_list ap; arch_local_irq_disable_all(); va_start(ap, fmt); early_printk("Kernel panic - not syncing: "); early_vprintk(fmt, ap); early_printk("\n"); va_end(ap); dump_stack(); hv_halt(); }