# SPDX-License-Identifier: GPL-2.0-or-later

source $(dirname -- "${BASH_SOURCE[0]}")/lib.sh

function cleanup_devices() {
	local device_bdf
	local device_dir

	for device_bdf in "$@"; do
		device_dir=${DEVICES_DIR}/${device_bdf}

		if [ -f ${device_dir}/vfio-pci ]; then
			unbind ${device_bdf} vfio-pci
		fi

		if [ -f ${device_dir}/driver_override ]; then
			clear_driver_override ${device_bdf}
		fi

		if [ -f ${device_dir}/driver ]; then
			bind ${device_bdf} $(cat ${device_dir}/driver)
		fi

		if [ -f ${device_dir}/sriov_numvfs ]; then
			set_sriov_numvfs ${device_bdf} $(cat ${device_dir}/sriov_numvfs)
		fi

		rm -rf ${device_dir}
	done
}

function main() {
	if [ $# = 0 ]; then
		cleanup_devices $(ls ${DEVICES_DIR})
		rmdir ${DEVICES_DIR}
	else
		cleanup_devices "$@"
	fi
}

main "$@"