On 12/08/15 15:16, Jan Beulich wrote: > ... and its callers. > > While all non-nested users are made fully honor the semantics of that > type, doing so in the nested case seemed insane (if doable at all, > considering VMCS shadowing), and hence there the respective operations > are simply made fail. > > One case not (yet) taken care of is that of a page getting transitioned > to this type after a mapping got established. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com>, with one style correction... > @@ -4071,11 +4082,11 @@ void hvm_task_switch( > v->arch.hvm_vcpu.guest_cr[0] |= X86_CR0_TS; > hvm_update_guest_cr(v, 0); > > - if ( (taskswitch_reason == TSW_iret) || > - (taskswitch_reason == TSW_jmp) ) > + if ( (taskswitch_reason == TSW_iret || > + taskswitch_reason == TSW_jmp) && otd_writable) Space. ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
