Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1433179

Re: [PATCH 3/5] mmu: don't set the present bit unconditionally

From Bandan Das <bsd@redhat.com>
Newsgroups linux.kernel
Subject Re: [PATCH 3/5] mmu: don't set the present bit unconditionally
Date 2016-06-28 19:50 +0200
Message-ID <rP5j3-1EC-1@gated-at.bofh.it> (permalink)
References <rOSYx-1Xl-7@gated-at.bofh.it> <rOSYx-1Xl-9@gated-at.bofh.it> <rOX2a-4Ab-35@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


Paolo Bonzini <pbonzini@redhat.com> writes:

> On 28/06/2016 06:32, Bandan Das wrote:
>> +	bool execonly = !(context->guest_rsvd_check.bad_mt_xwr &
>> +			  (1ull << VMX_EPT_EXECUTABLE_MASK));
>>  
>>  	if (set_mmio_spte(vcpu, sptep, gfn, pfn, pte_access))
>>  		return 0;
>>  
>> -	spte = PT_PRESENT_MASK;
>> +	if (!execonly)
>> +		spte |= PT_PRESENT_MASK;
>
> This needs a comment:
>
> 	/*
> 	 * There are two cases in which execonly is false: 1) for
> 	 * non-EPT page tables, in which case we need to set the
> 	 * P bit; 2) for EPT page tables where an X-- page table
> 	 * entry is invalid, in which case we need to force the R
> 	 * bit of the page table entry to 1.
> 	 */

I think this should be: 2) for EPT page tables where an X-- page
table entry is invalid and a EPT misconfig is injected to the guest
before we reach here.

> 	BUILD_BUG_ON(PT_PRESENT_MASK != VMX_EPT_READABLE_MASK);
> 	if (!execonly)
> 		spte |= PT_PRESENT_MASK;
> 	
>
>>  	if (!speculative)
>>  		spte |= shadow_accessed_mask;
>> 
>>  	if (enable_ept) {
>> -		kvm_mmu_set_mask_ptes(0ull,
>> +		kvm_mmu_set_mask_ptes(PT_PRESENT_MASK,
>
> This should be VMX_EPT_READABLE_MASK.
>
>> @@ -2531,6 +2535,7 @@ static int set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
>>  	else
>>  		spte |= shadow_nx_mask;
>>  
>> +	/* In the EPT case, shadow_user_mask is PT_PRESENT_MASK */
>
> I don't think this comment is necessary, but it's better to add one in
> FNAME(gpte_access).
>
> 	/*
> 	 * In the EPT case, a page table can be executable but not
> 	 * readable (on some processors).  Therefore, set_spte does not
> 	 * automatically set bit 0 if execute-only is supported.
> 	 * Instead, since EPT page tables do not have a U bit, we
> 	 * repurpose ACC_USER_MASK to signify readability.  Likewise,
> 	 * when EPT is in use shadow_user_mask is set to
> 	 * VMX_EPT_READABLE_MASK.
> 	 */
> 	
>
> Thanks,
>
> Paolo
>
>>  	if (pte_access & ACC_USER_MASK)
>>  		spte |= shadow_user_mask;
>
>
> Paolo
>
>>  			(enable_ept_ad_bits) ? VMX_EPT_ACCESS_BIT : 0ull,
>>  			(enable_ept_ad_bits) ? VMX_EPT_DIRTY_BIT : 0ull,
>>  			0ull, VMX_EPT_EXECUTABLE_MASK);
>
> --
> To unsubscribe from this list: send the line "unsubscribe kvm" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html

Back to linux.kernel | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

[PATCH 3/5] mmu: don't set the present bit unconditionally Bandan Das <bsd@redhat.com> - 2016-06-28 06:40 +0200
  Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Paolo Bonzini <pbonzini@redhat.com> - 2016-06-28 11:00 +0200
    Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Bandan Das <bsd@redhat.com> - 2016-06-28 19:50 +0200
      Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Paolo Bonzini <pbonzini@redhat.com> - 2016-06-28 22:30 +0200
    Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Wanpeng Li <kernellwp@gmail.com> - 2016-07-05 08:00 +0200
      Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Paolo Bonzini <pbonzini@redhat.com> - 2016-07-05 13:00 +0200
  Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Xiao Guangrong <guangrong.xiao@linux.intel.com> - 2016-06-29 05:30 +0200
    Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Paolo Bonzini <pbonzini@redhat.com> - 2016-06-29 10:20 +0200
      Re: [PATCH 3/5] mmu: don't set the present bit unconditionally Xiao Guangrong <guangrong.xiao@linux.intel.com> - 2016-06-30 09:30 +0200

csiph-web