Sergey Kandaurov 1e2751ddeb Fix a gcc warning uncovered after r251745. ... Reported by: Sergey V. Dyatko Reviewed by: neel		2013-06-18 23:31:09 +00:00
..
iommu.c	Allocate memory pages for the guest from the host's free page queue.	2012-10-08 23:41:26 +00:00
iommu.h	Allocate memory pages for the guest from the host's free page queue.	2012-10-08 23:41:26 +00:00
ppt.c	Implement guest vcpu pinning using 'pthread_setaffinity_np(3)'.	2013-02-11 20:36:07 +00:00
ppt.h	MSI-x interrupt support for PCI pass-thru devices.	2012-04-28 16:28:00 +00:00
vdev.c
vdev.h
vlapic.c	Fix a gcc warning uncovered after r251745.	2013-06-18 23:31:09 +00:00
vlapic.h	Calculate the number of host ticks until the next guest timer interrupt.	2012-10-20 08:23:05 +00:00