void machine_resources_shutdown(void) { serial_shutdown(); video_resources_shutdown(); c128_resources_shutdown(); sound_resources_shutdown(); rs232drv_resources_shutdown(); printer_resources_shutdown(); drive_resources_shutdown(); cartridge_resources_shutdown(); functionrom_resources_shutdown(); }
void machine_resources_shutdown(void) { serial_shutdown(); c128_resources_shutdown(); rs232drv_resources_shutdown(); printer_resources_shutdown(); drive_resources_shutdown(); cartridge_resources_shutdown(); functionrom_resources_shutdown(); rombanks_resources_shutdown(); userport_rtc_resources_shutdown(); cartio_shutdown(); fsdevice_resources_shutdown(); disk_image_resources_shutdown(); }