Defined in 1 files as a prototype:
Defined in 8 files as a function:
- arch/arm64/kvm/arm.c, line 1996 (as a function)
- arch/loongarch/kvm/mmu.c, line 939 (as a function)
- arch/mips/kvm/mips.c, line 976 (as a function)
- arch/powerpc/kvm/book3s.c, line 848 (as a function)
- arch/powerpc/kvm/booke.c, line 1818 (as a function)
- arch/riscv/kvm/mmu.c, line 185 (as a function)
- arch/s390/kvm/kvm-s390.c, line 731 (as a function)
- arch/x86/kvm/x86.c, line 3925 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_clear_dirty_log_protect() -> kvm_arch_sync_dirty_log()
| 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 | 0 | kvm->vm_dead | 0 |
| PARAM_VALUE | 1 | memslot | 4096-ptr_max |
| PARAM_VALUE | 1 | memslot->dirty_bitmap | 1-u64max |
| PARAM_VALUE | 1 | memslot->id | 0-32763 |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | kvm->mm | 1 |
| CAPPED_DATA | 1 | memslot->id | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | memslot | r id_to_memslot |
| NOCHECK_CALL | |||
| USER_DATA | 1 | memslot->id | 0-32763[c] |
| LOCK2 | 0 | &kvm->slots_lock | |
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_get_dirty_log_protect() -> kvm_arch_sync_dirty_log()
| 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 | 0 | kvm->vm_dead | 0 |
| PARAM_VALUE | 1 | memslot | 4096-ptr_max |
| PARAM_VALUE | 1 | memslot->dirty_bitmap | 1-u64max |
| PARAM_VALUE | 1 | memslot->id | 0-32763 |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | kvm->mm | 1 |
| CAPPED_DATA | 1 | memslot->id | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | memslot | r id_to_memslot |
| NOCHECK_CALL | |||
| USER_DATA | 1 | memslot->id | 0-32763[c] |
| LOCK2 | 0 | &kvm->slots_lock | |
| TYPE_LOCK | (struct kvm)->slots_lock |