Lines Matching refs:vfio

79 is created by simply opening the /dev/vfio/vfio character device.
88 VFIO group will appear for the group as /dev/vfio/$GROUP, where
98 the VFIO group character device (/dev/vfio/$GROUP) and using the
125 pci bus, therefore the user will make use of vfio-pci to manage the
128 # modprobe vfio-pci
130 Binding this device to the vfio-pci driver creates the VFIO group
136 # echo 1102 0002 > /sys/bus/pci/drivers/vfio-pci/new_id
154 bind this device to the vfio-pci driver (vfio-pci does not currently
158 unprivileged operation is desired (note that /dev/vfio/vfio provides
162 # chown user:user /dev/vfio/26
175 	container = open("/dev/vfio/vfio", O_RDWR);
184 	group = open("/dev/vfio/26", O_RDWR);
190 		/* Group is not viable (ie, not all devices bound for vfio) */
243 Please see include/linux/vfio.h for complete API documentation.
248 VFIO bus drivers, such as vfio-pci make use of only a few interfaces