From: sashiko-bot@kernel.org
To: "Paolo Bonzini" <pbonzini@redhat.com>, kvm@vger.kernel.org
Subject: Re: [PATCH 25/45] KVM: Take memory protections into account for accesses with cached gfn->hva
Date: Mon, 02 Nov 2026 18:14:37 +0000 [thread overview]
Message-ID: <sashiko-outbox-193917@kernel.org> (raw)
In-Reply-To: <20261102174512.8903-9-pbonzini@redhat.com>
Thank you for your contribution! Sashiko AI review found 3 potential issue(s) to consider:
- [Medium] KVM: redundant mem_attr checks and RO failure in __kvm_get/put_guest()
- [Medium] KVM: unupdated attrs_generation on error in __kvm_gfn_to_hva_cache_init()
- [Medium] KVM: stale ghc->gpa on error in __kvm_gfn_to_hva_cache_init()
--
commit 70e5ce5ddda9132daea8ebdb4ea3879b1bca2fa1
Author: Nicolas Saenz Julienne <nsaenz@amazon.com>
KVM: Take memory protections into account for accesses with cached gfn->hva
This commit adds memory attribute protection checks to __kvm_get_guest(),
__kvm_put_guest(), and __kvm_gfn_to_hva_cache_init(), invalidating and
rejecting gfn_to_hva_cache entries when read or write restrictions apply
to the GPA range.
Link: https://patch.msgid.link/20260918135030.171564-23-pbonzini@redhat.com
> diff --git a/include/linux/kvm_host.h b/include/linux/kvm_host.h
> index 2c854aaab92a1..de540af1fa244 100644
> --- a/include/linux/kvm_host.h
> +++ b/include/linux/kvm_host.h
> @@ -1371,7 +1371,8 @@ int kvm_gfn_to_hva_cache_init(struct kvm *kvm, struct gfn_to_hva_cache *ghc,
> typeof(v) __user *__uaddr = (typeof(__uaddr))(__addr + offset); \
> int __ret = -EFAULT; \
> \
> - if (!kvm_is_error_hva(__addr)) \
> + if (!kvm_is_error_hva(__addr) && \
> + kvm_mem_attributes_may_read_gfn(kvm, gfn)) \
> __ret = get_user(v, __uaddr); \
> __ret; \
> })
> @@ -1391,7 +1392,8 @@ int kvm_gfn_to_hva_cache_init(struct kvm *kvm, struct gfn_to_hva_cache *ghc,
> typeof(v) __user *__uaddr = (typeof(__uaddr))(__addr + offset); \
> int __ret = -EFAULT; \
> \
> - if (!kvm_is_error_hva(__addr)) \
> + if (!kvm_is_error_hva(__addr) && \
> + kvm_mem_attributes_may_write_gfn(kvm, gfn)) \
> __ret = put_user(v, __uaddr); \
[Severity: Medium]
Both __kvm_get_guest() and __kvm_put_guest() obtain __addr via
gfn_to_hva(kvm, gfn), which already checks both read and write memory
attributes:
virt/kvm/kvm_main.c:gfn_to_hva() {
addr = gfn_to_hva_many(gfn_to_memslot(kvm, gfn), gfn, NULL);
if (kvm_is_error_hva(addr))
return addr;
if (!kvm_mem_attributes_may_read_gfn(kvm, gfn))
return KVM_HVA_ERR_BAD;
if (!kvm_mem_attributes_may_write_gfn(kvm, gfn))
return KVM_HVA_ERR_RO_BAD;
return addr;
}
Because both KVM_HVA_ERR_BAD and KVM_HVA_ERR_RO_BAD satisfy
kvm_is_error_hva(__addr), the additional calls to
kvm_mem_attributes_may_read_gfn() and kvm_mem_attributes_may_write_gfn()
in these macros perform a duplicate XArray lookup in kvm->mem_attrs.array
and evaluate the macro arguments kvm and gfn a second time.
Furthermore, because __kvm_get_guest() calls gfn_to_hva() rather than
gfn_to_hva_prot(), any page marked read-only with KVM_MEMORY_ATTRIBUTE_NW
causes gfn_to_hva() to return KVM_HVA_ERR_RO_BAD, failing __kvm_get_guest()
with -EFAULT before kvm_mem_attributes_may_read_gfn() is reached.
Should __kvm_get_guest() use gfn_to_hva_prot(kvm, gfn, NULL) so that
read-only pages remain readable, and drop the redundant attribute check in
__kvm_put_guest()? Also, the commit message mentions that tracking the
memory attributes generation in gfn_to_hva_cache is required for
kvm_get/put_guest(), though kvm_get_guest() and kvm_put_guest() do not use
gfn_to_hva_cache.
[ ... ]
> diff --git a/virt/kvm/kvm_main.c b/virt/kvm/kvm_main.c
> index 6aa6a0a55b070..8283b2415adc2 100644
> --- a/virt/kvm/kvm_main.c
> +++ b/virt/kvm/kvm_main.c
> @@ -3664,15 +3664,22 @@ static int __kvm_gfn_to_hva_cache_init(struct kvm *kvm,
> * If the requested region crosses two memslots, we still
> * verify that the entire region is valid here.
> */
> - for ( ; start_gfn <= end_gfn; start_gfn += nr_pages_avail) {
> - ghc->memslot = __gfn_to_memslot(slots, start_gfn);
> - ghc->hva = gfn_to_hva_many(ghc->memslot, start_gfn,
> - &nr_pages_avail);
> + for (gfn_t gfn = start_gfn ; gfn <= end_gfn; gfn += nr_pages_avail) {
> + ghc->memslot = __gfn_to_memslot(slots, gfn);
> + ghc->hva = gfn_to_hva_many(ghc->memslot, gfn, &nr_pages_avail);
> if (kvm_is_error_hva(ghc->hva))
> return -EFAULT;
> }
>
> + /*
> + * RW memory attributes are incompatible with GHC. The RW protection
> + * check has to happen after storing the generation number.
> + */
> ghc->attrs_generation = kvm_mem_attributes_generation(kvm);
[Severity: Medium]
At the start of __kvm_gfn_to_hva_cache_init(), ghc->slots_generation is
updated before any error checks so that if initialization fails, subsequent
calls to kvm_read_guest_offset_cached() or kvm_write_guest_offset_cached()
within the same generation pass kvm_memslots_check_gen() and immediately
return -EFAULT on kvm_is_error_hva(ghc->hva).
Because ghc->attrs_generation is only updated after the start_gfn > end_gfn
check and the memslot lookup loop, if kvm->mem_attrs.generation changes on
a cache whose GPA fails one of those earlier checks, ghc->attrs_generation
remains stale. Every subsequent call to kvm_read_guest_offset_cached() or
kvm_write_guest_offset_cached() will then fail kvm_memslots_check_gen() and
repeatedly re-run __kvm_gfn_to_hva_cache_init().
Should ghc->attrs_generation = kvm_mem_attributes_generation(kvm) be moved
to the top of __kvm_gfn_to_hva_cache_init() alongside ghc->slots_generation?
> + if (kvm_range_has_rw_memory_protections(kvm, start_gfn, end_gfn + 1)) {
> + ghc->hva = KVM_HVA_ERR_BAD;
> + return -EFAULT;
> + }
[Severity: Medium]
When a gfn_to_hva_cache previously initialized to a valid gpa1 is
re-initialized to a new gpa2 that fails
kvm_range_has_rw_memory_protections(), __kvm_gfn_to_hva_cache_init()
updates ghc->slots_generation and ghc->attrs_generation and sets
ghc->hva = KVM_HVA_ERR_BAD, but returns -EFAULT before updating ghc->gpa
and ghc->len at the end of the function:
virt/kvm/kvm_main.c:__kvm_gfn_to_hva_cache_init() {
...
ghc->gpa = gpa;
ghc->len = len;
return 0;
}
This leaves ghc->hva poisoned with KVM_HVA_ERR_BAD while ghc->gpa still
holds the previous valid gpa1. Callers that guard cache re-initialization
with a GPA comparison, such as nested_vmx_check_vmcs_link_ptr(),
nested_cache_shadow_vmcs12(), and nested_flush_cached_shadow_vmcs12():
arch/x86/kvm/vmx/nested.c:nested_vmx_check_vmcs_link_ptr() {
if (ghc->gpa != vmcs12->vmcs_link_pointer &&
CC(kvm_gfn_to_hva_cache_init(vcpu->kvm, ghc,
vmcs12->vmcs_link_pointer, VMCS12_SIZE)))
return -EINVAL;
}
or callers that keep the previous GPA active when an MSR update to a new
GPA is rejected (such as kvm_lapic_set_pv_eoi() and
kvm_pv_enable_async_pf()), will then see matching generations and fail
valid accesses to gpa1 with -EFAULT.
Would it make sense to update ghc->gpa and ghc->len at the start of
__kvm_gfn_to_hva_cache_init() before the error returns so that a failed
re-initialization does not leave a stale ghc->gpa paired with
KVM_HVA_ERR_BAD?
--
Sashiko AI review · https://sashiko.dev/#/patchset/20261102174130.8779-1-pbonzini@redhat.com?part=25
next prev parent reply other threads:[~2026-11-02 18:14 UTC|newest]
Thread overview: 68+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-02 17:40 [PATCH v4 00/45] KVM: x86: Introduce memory protection attributes Paolo Bonzini
2026-11-02 17:40 ` [PATCH 01/45] KVM: nVMX/nSVM: check unconditionally whether CR3 is valid Paolo Bonzini
2026-11-02 18:05 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 02/45] KVM: x86/hyperv: do not overwrite hc->ingpa for SIGNAL_EVENT hypercall Paolo Bonzini
2026-11-02 17:40 ` [PATCH 03/45] KVM: x86: apply nGPA->GPA translation to KVM_HC_CLOCK_PAIRING Paolo Bonzini
2026-11-02 17:40 ` [PATCH 04/45] KVM: x86/emulate: Check TSS busy-bit writes during task switches Paolo Bonzini
2026-11-02 18:22 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 05/45] KVM: loongarch: do full validity check on the gfn-to-hva cache Paolo Bonzini
2026-11-02 17:40 ` [PATCH 06/45] KVM: selftests: Test address translation for Hyper-V direct L2 hypercalls Paolo Bonzini
2026-11-02 17:40 ` [PATCH 07/45] KVM: selftests: Take into account mixed memory fault flags Paolo Bonzini
2026-11-02 17:50 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 08/45] selftests: kvm: drop TEST_ASSERT_SUPPORTED_ATTRIBUTES Paolo Bonzini
2026-11-02 17:40 ` [PATCH 09/45] KVM: Define and communicate KVM_EXIT_MEMORY_FAULT RWX flags to userspace Paolo Bonzini
2026-11-02 17:55 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 10/45] KVM: x86: Introduce memory fault on invalid hypercalls reads/writes Paolo Bonzini
2026-11-02 17:40 ` [PATCH 11/45] KVM: selftests: test hypercall memory fault exits Paolo Bonzini
2026-11-02 17:58 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 12/45] KVM: x86/mmu: intersect writability from __kvm_faultin_pfn with fault->map_writable Paolo Bonzini
2026-11-02 17:40 ` [PATCH 13/45] KVM: x86/mmu: Extend map_writable to a full ACC_* mask Paolo Bonzini
2026-11-02 17:40 ` [PATCH 14/45] KVM: x86/mmu: Init memslot hugepage information for non-private_mem VMs too Paolo Bonzini
2026-11-02 17:40 ` [PATCH 15/45] KVM: VMX: return error from kvm_set_cr* Paolo Bonzini
2026-11-02 17:41 ` [PATCH 16/45] KVM: adjust for presence of more than one attribute Paolo Bonzini
2026-11-02 18:03 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 17/45] KVM: Introduce NR/NW/NX memory attributes Paolo Bonzini
2026-11-02 18:04 ` sashiko-bot
2026-11-03 9:25 ` kernel test robot
2026-11-02 17:44 ` [PATCH 18/45] KVM: Include memory protections in result of gfn->hva conversion Paolo Bonzini
2026-11-02 17:44 ` [PATCH 19/45] KVM: Introduce kvm_fetch_guest_page() and use it for x86 Paolo Bonzini
2026-11-02 17:44 ` [PATCH 20/45] KVM: Take memory protections into account for memory read/write/fetch Paolo Bonzini
2026-11-02 17:44 ` [PATCH 21/45] KVM: Take memory protections into account for __kvm_vcpu_map Paolo Bonzini
2026-11-02 17:44 ` [PATCH 22/45] KVM: Encapsulate memattrs array into anonymous struct Paolo Bonzini
2026-11-02 17:44 ` [PATCH 23/45] KVM: Introduce kvm_check_gen()/kvm_memslots_check_gen() Paolo Bonzini
2026-11-02 18:04 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 24/45] KVM: Introduce a generation number for memory attributes Paolo Bonzini
2026-11-02 18:20 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 25/45] KVM: Take memory protections into account for accesses with cached gfn->hva Paolo Bonzini
2026-11-02 18:14 ` sashiko-bot [this message]
2026-11-02 17:44 ` [PATCH 26/45] KVM: pfncache: Fail to refresh if it contains memory protections Paolo Bonzini
2026-11-02 18:09 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 27/45] KVM: x86/mmu: Do not prefetch sptes on gfns backed by memory attributes Paolo Bonzini
2026-11-02 17:44 ` [PATCH 28/45] KVM: x86/mmu: Take memory protection attributes into account during faults Paolo Bonzini
2026-11-02 18:26 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 29/45] KVM: x86/emulate: change return value of emulator_io_permitted to int Paolo Bonzini
2026-11-02 17:44 ` [PATCH 30/45] KVM: x86/emulate: Propagate memory faults to userspace Paolo Bonzini
2026-11-02 18:32 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 31/45] KVM: x86: "Handle" failed decode when skipping instructions Paolo Bonzini
2026-11-02 18:18 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 32/45] KVM: vmx/sgx: make return value of sgx_gva_to_gpa consistent with its callers Paolo Bonzini
2026-11-02 17:45 ` [PATCH 33/45] KVM: x86: Allow page fault fixup to return errors Paolo Bonzini
2026-11-02 17:45 ` [PATCH 34/45] KVM: x86/mmu: Adjust gva_to_gpa to allow returning an error Paolo Bonzini
2026-11-02 18:19 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 35/45] KVM: x86/mmu: Propagate errors from nested GPA translation Paolo Bonzini
2026-11-02 17:45 ` [PATCH 36/45] KVM: x86: Propagate memory faults through load_pdptrs() Paolo Bonzini
2026-11-02 18:29 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 37/45] KVM: x86/mmu: Issue memory fault exit if walk failed due to memory attribute Paolo Bonzini
2026-11-02 18:32 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 38/45] KVM: x86: mark VM as dead after KVM_SET_SREGS fails to load PDPTRs Paolo Bonzini
2026-11-02 18:28 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 39/45] KVM: VMX: mark VM dead on shadow VMCS or eVMCS access failures Paolo Bonzini
2026-11-02 18:40 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 40/45] KVM: let kvm_arch_post_set_memory_attributes drop mmu_lock Paolo Bonzini
2026-11-02 17:45 ` [PATCH 41/45] KVM: x86/mmu: Obsolete all roots if memattr contains gPTEs Paolo Bonzini
2026-11-02 17:45 ` [PATCH 42/45] KVM: x86: selftests: Introduce memory protection attributes test Paolo Bonzini
2026-11-02 18:43 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 43/45] KVM: x86: selftests: Introduce memory attributes PTE test Paolo Bonzini
2026-11-02 17:45 ` [PATCH 44/45] KVM: x86: selftests: Introduce memory attributes side-channel tests Paolo Bonzini
2026-11-02 18:41 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 45/45] KVM: x86: split out parts of load_pdptrs Paolo Bonzini
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=sashiko-outbox-193917@kernel.org \
--to=sashiko-bot@kernel.org \
--cc=kvm@vger.kernel.org \
--cc=pbonzini@redhat.com \
--cc=sashiko-reviews@lists.linux.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox