Lines Matching refs:vfio
81 is created by simply opening the /dev/vfio/vfio character device.
90 VFIO group will appear for the group as /dev/vfio/$GROUP, where
100 the VFIO group character device (/dev/vfio/$GROUP) and using the
127 pci bus, therefore the user will make use of vfio-pci to manage the
130 # modprobe vfio-pci
132 Binding this device to the vfio-pci driver creates the VFIO group
138 # echo 1102 0002 > /sys/bus/pci/drivers/vfio-pci/new_id
156 bind this device to the vfio-pci driver (vfio-pci does not currently
160 unprivileged operation is desired (note that /dev/vfio/vfio provides
164 # chown user:user /dev/vfio/26
177 container = open("/dev/vfio/vfio", O_RDWR);
186 group = open("/dev/vfio/26", O_RDWR);
192 /* Group is not viable (ie, not all devices bound for vfio) */
245 Please see include/linux/vfio.h for complete API documentation.
250 VFIO bus drivers, such as vfio-pci make use of only a few interfaces