grehan b2189384ce Return 0 for a rdmsr of MSR_IA32_PLATFORM_ID. This ... is enough to get Ubuntu 12.0.4/13.0.4 to boot. Approved by: re@ (blanket)		2013-09-27 14:55:59 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
amd64	In pmap_clear_modify(), initialize pvh even for fictitious managed	2013-09-24 13:52:47 +00:00
conf	Put 'device hyperv' back in amd64/GENERIC, incorrectly removed with	2013-09-21 01:07:27 +00:00
ia32	Use slightly more idiomatic expression to get the address of array.	2013-05-27 18:39:39 +00:00
include	Reorder/regroup the vmm ioctl api definitions to allow some	2013-09-21 00:27:53 +00:00
linux32	Regen.	2013-09-18 18:49:26 +00:00
pci	Remove duplicate code. Reduce diff between amd64 and i386.	2012-12-01 00:56:19 +00:00
vmm	Return 0 for a rdmsr of MSR_IA32_PLATFORM_ID. This	2013-09-27 14:55:59 +00:00
Makefile