Desbindear una tarjeta del módulo vfio-pci a la fuerza

Si por alguna razón nos ha quedado bindeada una tarjeta PCIe al módulo vfio-pci y no podemos desbindearla, nos tocará hacerlo de forma manual.

Esta casuística puede darse si, por ejemplo, instalamos driverctl, configuramos algún override que nunca quitamos y, luego, hicimos algún cambio en el bus PCI y las tarjetas nos quedaron en otra ubicación dentro del árbol PCI. Por ello, aunque realicemos manualmente un unset-override desde la terminal, el desbindeo no ocurrirá porque todavía seguirá existiendo el archivo correspondiente.

El método para realizarlo es el siguiente:

Debemos hacer echo -n y el identificador del dispositivo hacia el archivo unbind que encontramos en la carpeta /sys/bus/pci/drivers/vfio-pci/.

Por ejemplo:

echo -n 0000:1a:00.3 > /sys/bus/pci/drivers/vfio-pci/unbind

Así, después de ejecutar el comando, veremos que el módulo vfio-pci dejará de controlar ese dispositivo.

NOTA, si queremos desbindear todo del módulo vfio-pci, podemos ejecutar:

find /sys/bus/pci/drivers/vfio-pci/ | grep 0000 | cut -d’/’ -f7