Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/kvm/mmu/mmu.c
- arch/x86/kvm/mmu/spte.c, line 350
- arch/x86/kvm/mmu/spte.h, line 357
- arch/x86/kvm/mmu/tdp_mmu.c
Smatch caller information:
arch/x86/kvm/mmu/tdp_iter.c is_last_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pte | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &kvm->mmu_lock | ||
| HALF_LOCKED2 | &kvm->srcu | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/kvm/mmu/spte.c is_last_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pte | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vcpu->kvm->mmu_lock | ||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/kvm/mmu/spte.c make_small_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pte | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->mmu_lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/kvm/mmu/mmu.c __mmu_unsync_walk() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vcpu->kvm->mmu_lock |
arch/x86/kvm/mmu/mmu.c disallowed_hugepage_adjust() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pte | $1 |
| HALF_LOCKED2 | &vcpu->kvm->mmu_lock | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/kvm/mmu/mmu.c is_last_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pte | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vcpu->kvm->mmu_lock |
arch/x86/kvm/mmu/mmu.c kvm_mmu_get_child_sp() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | &vcpu->kvm->mmu_lock | ||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->mmu_lock |
arch/x86/kvm/mmu/mmu.c mmu_set_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | &vcpu->kvm->mmu_lock | ||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->mmu_lock |
arch/x86/kvm/mmu/mmu.c shadow_mmu_try_split_huge_pages() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &kvm->arch.apic_map_lock | ||
| HALF_LOCKED2 | &kvm->arch.apicv_update_lock | ||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->mmu_lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | &kvm->srcu |
arch/x86/kvm/mmu/mmu.c validate_direct_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | &vcpu->kvm->mmu_lock | ||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->mmu_lock |
arch/x86/kvm/mmu/tdp_mmu.c is_last_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pte | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | pte | 0-u64max[c] |
| HALF_LOCKED2 | &kvm->mmu_lock | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/kvm/mmu/tdp_mmu.c kvm_tdp_mmu_map() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pte | 0-9223372036854776223,9223372036854776225-u64max |
| PREEMPT_ADD | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &file->f_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &vcpu->kvm->mmu_lock | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/mmu/tdp_mmu.c tdp_mmu_split_huge_pages_root() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &kvm->mmu_lock | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->mmu_lock |
arch/x86/kvm/vmx/tdx.c is_last_spte() -> is_large_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pte | $0 |