freebsd-skq/sys/amd64
Peter Grehan e58d944482 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
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
vmm Return 0 for a rdmsr of MSR_IA32_PLATFORM_ID. This 2013-09-27 14:55:59 +00:00
Makefile