/* _unix_driver_lists_shutdown: * Free driver lists. */ void _unix_driver_lists_shutdown(void) { if (_unix_gfx_driver_list) { _destroy_driver_list(_unix_gfx_driver_list); _unix_gfx_driver_list = 0; } }
/* _free_win_midi_driver_list: * Helper function for freeing the dynamically generated driver list. */ void _free_win_midi_driver_list(void) { int i = 0; if (driver_list) { while (driver_list[i].driver) { if (driver_list[i].id != MIDI_DIGMID) _AL_FREE(driver_list[i].driver); i++; } _destroy_driver_list(driver_list); driver_list = NULL; } }