|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Xen-devel] [PATCH] Pin vcpu for VMX domain
On 9 Feb 2006, at 08:46, Jiang, Yunhong wrote:
Even vmx_do_launch may be too late, for vmx_relinquish_resources. Consider a VMX domain that is destroyed without ever running -- it will never call vmx_do_launch. However, actually you will be okay because the timer structures are initialised to zeroes during domain creation. That is sufficient for stop_timer/kill_timer/migrate_timer to work properly, so long as they *never* execute concurrently with init_timer. -- Keir _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/xen-devel
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |