neel 3818d66305 When a vcpu is deactivated it must also unblock any rendezvous that may be ...

blocked on it.

This is done by issuing a wakeup after clearing the 'vcpuid' from 'active_cpus'.
Also, use CPU_CLR_ATOMIC() to guarantee visibility of the updated 'active_cpus'
across all host cpus.

2014-03-18 02:49:28 +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

Update kernel inclusions of capability.h to use capsicum.h instead; some

2014-03-16 10:55:57 +00:00

conf

Align all comments in config files on same column. This consistency

2014-03-16 15:22:52 +00:00

ia32

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

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

include

Fix a race wherein the source of an interrupt vector is wrongly

2014-03-15 23:09:34 +00:00

linux32

Update kernel inclusions of capability.h to use capsicum.h instead; some

2014-03-16 10:55:57 +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

When a vcpu is deactivated it must also unblock any rendezvous that may be

2014-03-18 02:49:28 +00:00

Makefile

…