static void command_hard_reset(void) { mame_schedule_hard_reset(Machine); }
void on_hard_reset_activate(GtkMenuItem *item, gpointer user_data) { mame_schedule_hard_reset((running_machine *)user_data); }