emergency_restart
machine_ops.emergency_restart = hv_vtl_emergency_restart;
void (*emergency_restart)(void);
machine_ops.emergency_restart = jailhouse_no_restart;
machine_ops.emergency_restart();
.emergency_restart = native_machine_emergency_restart,
machine_ops.emergency_restart = intel_mid_reboot;
machine_ops.emergency_restart = xen_emergency_restart;
.emergency_restart = xen_emergency_restart,
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
emergency_restart();
extern void emergency_restart(void);
emergency_restart();
emergency_restart();
EXPORT_SYMBOL_GPL(emergency_restart);
emergency_restart();