void serial_shutdown(void) { unsigned int unit; for (unit = 0; unit < SERIAL_MAXDEVICES; unit++) machine_bus_device_detach(unit); }
void file_system_shutdown(void) { unsigned int i; for (i = 0; i < 4; i++) { vdrive_device_shutdown(file_system[i].vdrive); lib_free(file_system[i].vdrive); machine_bus_device_detach(i + 8); /* free memory allocated by file_system_set_serial_hooks() */ } }
static int interface_serial_detach(unsigned int prnr) { if (inuse[prnr]) { flush_pr(prnr, 0); close_pr(prnr, 0); } machine_bus_device_detach(prnr + 4); return 0; }