src/pkg/debian/vpp.postrm

   1 #!/bin/sh -e
   2
   3 removed=
   4
   5 # Unbind user-mode PCI drivers
   6 pci_dirs=`find /sys/bus/pci/drivers -type d -name igb_uio -o -name uio_pci_generic -o -name vfio-pci`
   7 for d in $pci_dirs; do
   8     for f in ${d}/*; do
   9         [ -e "${f}/config" ] || continue
  10         echo ${f##*/} > ${d}/unbind
  11         basename `dirname ${f}` | xargs echo -n "Removing driver"; echo " for PCI ID" `basename ${f}`
  12         removed=y
  13     done
  14 done
  15 if [ -n "${removed}" ]; then
  16     echo "There are changes in PCI drivers, rescanning"
  17     echo 1 > /sys/bus/pci/rescan
  18 else
  19     echo "There weren't PCI devices bound"
  20 fi
  21