linux/drivers/pci/hotplug/+code=device_num
<<
>>
Prefs
Node not found: drivers/pci/hotplug/+code=device_num (xilinx-v2016.4)