void machine_drive_resources_shutdown(void) { iec_drive_resources_shutdown(); iec128dcr_drive_resources_shutdown(); iec_c64exp_resources_shutdown(); ieee_drive_resources_shutdown(); }
void machine_drive_resources_shutdown(void) { iec_drive_resources_shutdown(); iec_plus4exp_resources_shutdown(); tcbm_drive_resources_shutdown(); }