7 commits

Author	SHA1	Message	Date
Daniel Krebs	035c6f8b2a	lib/kernel/vfio: add function to get size of device memory region	2018-02-14 07:27:37 +01:00
Steffen Vogel	3047f5bb7a	vfio: only rebind pci device to VFIO driver if not already bound	2018-01-30 19:09:56 +01:00
Steffen Vogel	293f496db0	pci: add function to get currently loaded kernel driver	2018-01-30 19:09:19 +01:00
daniel-k	f0c089f719	simple renames to not use reserved names	2018-01-10 11:02:08 +01:00
daniel-k	babec9a574	kernel/pci: fix pci device compare function ... list_search's compare function has to return 0 on match.	2017-11-28 12:08:32 +01:00
daniel-k	db79fe4827	lib/pci: initialize list and ignore special dir entries	2017-11-22 11:21:27 +01:00
Steffen Vogel	c3164e93ef	imported source code from VILLASfpga repo and made it compile	2017-11-21 21:31:08 +01:00