K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-12-03T00:43:31.205967Z
K 7
svn:log
V 264
Rename 'vm_interrupt_hostcpu()' to 'vcpu_notify_event()' because the function
has outgrown its original name. Originally this function simply sent an IPI
to the host cpu that a vcpu was executing on but now it does a lot more than
just that.

Reviewed by:	grehan@

END