K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-03-18T02:49:28.221213Z
K 7
svn:log
V 274
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.

END