On 05/03/18 17:49, Jan Beulich wrote:
>>>> On 02.03.18 at 09:13, <jgr...@suse.com> wrote:
>> @@ -509,9 +510,16 @@ void make_cr3(struct vcpu *v, mfn_t mfn)
>>
>> void write_ptbase(struct vcpu *v)
>> {
>> - get_cpu_info()->root_pgt_changed = this_cpu(root_pgt) && is_pv_vcpu(v)
>> &&
>> - !is_pv_32bit_vcpu(v);
>> - write_cr3(v->arch.cr3);
>> + if ( this_cpu(root_pgt) && is_pv_vcpu(v) && !is_pv_32bit_vcpu(v) )
>> + {
>> + get_cpu_info()->root_pgt_changed = true;
>> + asm volatile ( "mov %0, %%cr3" : : "r" (v->arch.cr3) : "memory" );
>> + }
>> + else
>> + {
>> + get_cpu_info()->root_pgt_changed = false;
>
> Is this write really necessary?
Probably not. I'll drop it.
Juergen
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
