void machine_specific_shutdown(void) { tape_image_detach_internal(1); ted_shutdown(); cs256k_shutdown(); h256k_shutdown(); plus4ui_shutdown(); }
void machine_specific_shutdown(void) { tape_image_detach_internal(1); ted_shutdown(); speech_shutdown(); cs256k_shutdown(); h256k_shutdown(); #ifdef HAVE_MOUSE mouse_shutdown(); #endif if (!console_mode) { plus4ui_shutdown(); } }