diff options
| author | Ben Gardon <bgardon@google.com> | 2021-01-07 01:19:35 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-01-08 00:11:32 +0100 |
| commit | c0dba6e46825716db15c4b3a8f05c85b4a59edda (patch) | |
| tree | 2761a464180eeabd99d3dc53a344337f7daf2d0d /drivers/gpio/gpio-zx.c | |
| parent | KVM: x86/mmu: Ensure TDP MMU roots are freed after yield (diff) | |
| download | linux-c0dba6e46825716db15c4b3a8f05c85b4a59edda.tar.xz linux-c0dba6e46825716db15c4b3a8f05c85b4a59edda.zip | |
KVM: x86/mmu: Clarify TDP MMU page list invariants
The tdp_mmu_roots and tdp_mmu_pages in struct kvm_arch should only contain
pages with tdp_mmu_page set to true. tdp_mmu_pages should not contain any
pages with a non-zero root_count and tdp_mmu_roots should only contain
pages with a positive root_count, unless a thread holds the MMU lock and
is in the process of modifying the list. Various functions expect these
invariants to be maintained, but they are not explictily documented. Add
to the comments on both fields to document the above invariants.
Signed-off-by: Ben Gardon <bgardon@google.com>
Message-Id: <20210107001935.3732070-2-bgardon@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'drivers/gpio/gpio-zx.c')
0 files changed, 0 insertions, 0 deletions