neel 104d35e573 Use vmcs_read() and vmcs_write() in preference to vmread() and vmwrite() ...

respectively. The vmcs_xxx() functions provide inline error checking of
all accesses to the VMCS.

2013-12-18 06:24:21 +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

Fix a typo.

2013-12-05 21:58:02 +00:00

conf

Make process descriptors standard part of the kernel. rwhod(8) already

2013-11-30 15:08:35 +00:00

ia32

x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)

2013-11-14 15:37:20 +00:00

include

Add an API to deliver message signalled interrupts to vcpus. This allows

2013-12-16 19:59:31 +00:00

linux32

- For kernel compiled only with KDTRACE_HOOKS and not any lock debugging

2013-11-25 07:38:45 +00:00

pci

Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this

2013-11-30 22:17:27 +00:00

vmm

Use vmcs_read() and vmcs_write() in preference to vmread() and vmwrite()

2013-12-18 06:24:21 +00:00

Makefile

…