neel 1306e6ef77 Allocate VPIDs by using the unit number allocator to keep do the bookkeeping. ...

Also deal with VPID exhaustion by allocating out of a reserved range as the
last resort.

2013-09-07 05:30:34 +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

Implement PV IPIs for PVHVM guests and further converge PV and HVM

2013-09-06 22:17:02 +00:00

conf

Add vmx device to the i386 and amd64 NOTES files

2013-09-06 20:24:21 +00:00

ia32

Use slightly more idiomatic expression to get the address of array.

2013-05-27 18:39:39 +00:00

include

Implement PV IPIs for PVHVM guests and further converge PV and HVM

2013-09-06 22:17:02 +00:00

linux32

Change the cap_rights_t type from uint64_t to a structure that we can extend

2013-09-05 00:09:56 +00:00

pci

Remove duplicate code. Reduce diff between amd64 and i386.

2012-12-01 00:56:19 +00:00

vmm

Allocate VPIDs by using the unit number allocator to keep do the bookkeeping.

2013-09-07 05:30:34 +00:00

Makefile

…