void machine_specific_shutdown(void) { /* and the tape */ tape_image_detach_internal(1); ciacore_shutdown(machine_context.cia1); tpicore_shutdown(machine_context.tpi1); tpicore_shutdown(machine_context.tpi2); /* close the video chip(s) */ vicii_shutdown(); cbm5x0ui_shutdown(); }
void machine_specific_shutdown(void) { /* and the tape */ tape_image_detach_internal(1); ciacore_shutdown(machine_context.cia1); tpicore_shutdown(machine_context.tpi1); tpicore_shutdown(machine_context.tpi2); /* close the video chip(s) */ vicii_shutdown(); #if defined(__BEOS__) || defined(USE_SDLUI) || defined(USE_GNOMEUI) || defined(USE_XAWUI) || (__OS2__) || defined(AMIGA_SUPPORT) /* FIXME make this available on other ports too */ cbm5x0ui_shutdown(); #else /* ...and remove this */ cbm2ui_shutdown(); #endif }