stop script

#!/bin/bash
set -x

# Unload vfio module
modprobe -r vfio-pci

sleep 5

# Attach GPU devices to host
# Use your GPU and HDMI Audio PCI host device
virsh nodedev-reattach pci_0000_01_00_0
virsh nodedev-reattach pci_0000_01_00_1
virsh nodedev-reattach pci_0000_00_14_0

sleep 2

# Rebind framebuffer to host
echo "efi-framebuffer.0" > /sys/bus/platform/drivers/efi-framebuffer/bind

sleep 1

# Load AMD kernel module
modprobe amdgpu

sleep 1

# Restart Display Manager
systemctl start gdm