[dpdk-dev] [PATCH 05/11] pci: rename device_list as pci_device_list

[Thomas Monjalon]

2014-02-28 18:25, Olivier Matz:
> To avoid confusion with virtual devices, rename device_list as
> pci_device_list and driver_list as pci_driver_list.
> 
> Signed-off-by: Olivier Matz <olivier.matz at 6wind.com>

Acked-by: Thomas Monjalon <thomas.monjalon at 6wind.com>

Applied for version 1.6.0r2 with title
	"pci: rename device and driver lists"

-- 
Thomas