From 76419c8eafd1a00a652075e8a51d3710c2206480 Mon Sep 17 00:00:00 2001
From: redxef <federanko.manuel@gmail.com>
Date: Wed, 29 Sep 2021 12:10:13 +0200
Subject: [PATCH] Add pci subcommand for rebinding to vfio

---
 pci | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 pci

diff --git a/pci b/pci
new file mode 100755
index 0000000..231823d
--- /dev/null
+++ b/pci
@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+BASE_PATH=/sys/bus/pci/
+
+# sanitize variables
+if [[ "${BASE_PATH: -1}" = '/' ]]; then
+    BASE_PATH="${BASE_PATH::${#BASE_PATH}-1}"
+fi
+
+vfio_rebind_device() {
+    local pci_id
+
+    pci_id="$1"
+    if [[ -e "$BASE_PATH/devices/$pci_id" ]]; then
+	echo "$pci_id" | sudo tee "$BASE_PATH/devices/$pci_id/driver/unbind"
+	echo "$pci_id" | sudo tee "$BASE_PATH/drivers/vfio-pci/bind"
+    fi
+}
+
+"$@"