/usr/local/bin/vfio-bind

[ben@centos ~]$ cat /usr/local/bin/vfio-bind
#!/bin/bash

modprobe vfio-pci

#GPU
echo "0000:07:00.0" > /sys/bus/pci/devices/0000\:07\:00.0/driver/unbind
echo "10de 1200" > /sys/bus/pci/drivers/vfio-pci/new_id

#HDMI
echo "0000:07:00.1" > /sys/bus/pci/devices/0000\:07\:00.1/driver/unbind
echo "10de 0e0c" > /sys/bus/pci/drivers/vfio-pci/new_id