/* * pci_devioctl: * * PCI ioctls that can be performed on devices directly. */