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

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

…