Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 8 files as a function:
- arch/arm64/kvm/mmu.c, line 2466 (as a function)
- arch/loongarch/kvm/mmu.c, line 526 (as a function)
- arch/mips/kvm/mmu.c, line 452 (as a function)
- arch/powerpc/kvm/book3s.c, line 894 (as a function)
- arch/powerpc/kvm/e500_mmu_host.c, line 703 (as a function)
- arch/riscv/kvm/mmu.c, line 372 (as a function)
- arch/s390/kvm/kvm-s390.c, line 5930 (as a function)
- arch/x86/kvm/mmu/mmu.c, line 1802 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_handle_gfn_range() -> (struct kvm_mmu_notifier_range)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->slots_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kvm->slots_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | kvm->slots_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | kvm->slots_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | kvm->slots_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | range | 4930585991922520064 |
| PARAM_VALUE | 1 | range->attr_filter | 1-3 |
| PARAM_VALUE | 1 | range->end | 1-4503599627370495 |
| PARAM_VALUE | 1 | range->may_block | 1 |
| PARAM_VALUE | 1 | range->slot | 4096-ptr_max |
| PARAM_VALUE | 1 | range->start | 0-4503599627370494 |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | kvm->mm | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| USER_DATA | 0 | kvm->mmu_invalidate_range_start | 0-9007199254740990[c] |
| USER_DATA | 1 | range->start | 1-524287[c] |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_desc_cache.kmem_cache->object_size | |
| LOCK2 | 0 | &kvm->slots_lock | |
| HALF_LOCKED2 | 0 | &kvm->mmu_lock | |
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_handle_hva_range() -> (struct kvm_mmu_notifier_range)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 6620390381666459648 |
| PARAM_VALUE | 1 | range->attr_filter | 1 |
| PARAM_VALUE | 1 | range->slot | 4096-ptr_max |
| CAPPED_DATA | 0 | kvm->srcu.srcu_ctrp | 1 |
| CAPPED_DATA | 0 | kvm->srcu.srcu_reader_flavor | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_desc_cache.kmem_cache->object_size | |
| LOCK2 | global &srcu | ||
| LOCK2 | 0 | &kvm->srcu | |
| HALF_LOCKED2 | 0 | &kvm->mmu_lock | |
| TYPE_LOCK | (struct kvm)->srcu |