Name

pcim_pin_device — Pin managed PCI device