This message was deleted.

both are enabled.

I've gotten errors like this:

vfio 0000:46:00.0: Could not open '/dev/vfio/33': Device or resource busy