Daniel Krebs 035c6f8b2a lib/kernel/vfio: add function to get size of device memory region		2018-02-14 07:27:37 +01:00
..
kernel.c	simple renames to not use reserved names	2018-01-10 11:02:08 +01:00
pci.c	pci: add function to get currently loaded kernel driver	2018-01-30 19:09:19 +01:00
vfio.c	lib/kernel/vfio: add function to get size of device memory region	2018-02-14 07:27:37 +01:00