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: 71+ 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-03 18:07 ` kernel test robot
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-03 14:11 ` kernel test robot
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
2026-11-03 14:40 ` [syzbot ci] Re: KVM: x86: Introduce memory protection attributes syzbot ci
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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.