Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/mmu/mmu.c kvm_tdp_mmu_map_private_pfn() -> kvm_gfn_is_write_tracked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 1 | slot | 0,4096-ptr_max |
| CAPPED_DATA | 2 | gfn | 1 |
| CAPPED_DATA | 2 | gfn | 1 |
| DATA_SOURCE | 1 | slot | r kvm_vcpu_gfn_to_memslot |
| DATA_SOURCE | 2 | gfn | $1 |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 2 | gfn | unit_page |
| LOCK2 | &file->f_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
arch/x86/kvm/mmu/mmu.c mmu_try_to_unsync_pages() -> kvm_gfn_is_write_tracked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | slot | 0,4096-ptr_max |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | slot | $1 |
| DATA_SOURCE | 2 | gfn | $2 |
| NOSPEC | 2 | gfn | |
| NOSPEC | 2 | gfn | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | gfn | 0-13510798882111483[c] |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_desc_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_page_header_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_shadow_page_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->context.ldt | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->context.ldt->entries | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->mm_cid.pcpu | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->notifier_subscriptions | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->sc_stat.pcpu_sched | |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 2 | gfn | unit_page |
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &kvm->mmu_lock | |
| HALF_LOCKED2 | 0 | &kvm->srcu |
arch/x86/kvm/mmu/mmu.c page_fault_handle_page_track() -> kvm_gfn_is_write_tracked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | slot | 0,4096-ptr_max |
| PARAM_VALUE | 2 | gfn | 0-4503599627370495 |
| CAPPED_DATA | 2 | gfn | 1 |
| CAPPED_DATA | 2 | gfn | 1 |
| PREEMPT_ADD | |||
| USER_DATA | 2 | gfn | 0-4503599627370495[c] |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 2 | gfn | unit_page |
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | 0 | &kvm->srcu |