Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_activate_memslot() -> kvm_swap_active_memslots()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->action | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->flags | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->nevents | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->nr_excludes | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->nr_includes | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->alloc_notifier | 0,118721215206682624,3867215761732038656 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->clear_flush_young | 0,629706690066796544 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->clear_young | 0,7189815847754645504 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->free_notifier | 0,1843444619081437184,3821528384776577024,4697798310811897856,6537355567237464064,8871816734645235712 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->invalidate_range_end | 0,3162513330612883456,6014292557378605056 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->invalidate_range_start | 0,1691968406954491904,7272215747350130688,7673596169661853696,8239870623333179392 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->release | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->test_young | 0,2029453645569474560 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | as_id | 0-u16max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | kvm | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| STR_LEN | 0 | kvm->arch.vm_type | (-1) |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | kvm->arch.xen.shinfo_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | kvm->arch.xen.shinfo_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | kvm->arch.xen.shinfo_cache.kvm->arch.vm_type | 0-31 |
| NO_OVERFLOW_SIMPLE | 0 | kvm->nr_memslot_pages | |
| UNITS | 0 | kvm | unit_byte |
| LOCK2 | 0 | &kvm->slots_arch_lock | |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &kvm->lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_lock | |
| TYPE_LOCK | (struct kvm)->slots_arch_lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_invalidate_memslot() -> kvm_swap_active_memslots()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->action | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->flags | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->nevents | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->nr_excludes | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.pmu_event_filter->nr_includes | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->alloc_notifier | 0,118721215206682624,3867215761732038656 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->clear_flush_young | 0,629706690066796544 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->clear_young | 0,7189815847754645504 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->free_notifier | 0,1843444619081437184,3821528384776577024,4697798310811897856,6537355567237464064,8871816734645235712 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->invalidate_range_end | 0,3162513330612883456,6014292557378605056 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->invalidate_range_start | 0,1691968406954491904,7272215747350130688,7673596169661853696,8239870623333179392 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->release | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->test_young | 0,2029453645569474560 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.wait_lock.owner_cpu | u32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | kvm | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | kvm->arch.xen.shinfo_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | kvm->arch.xen.shinfo_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | kvm->arch.xen.shinfo_cache.kvm->arch.vm_type | 0-31 |
| NO_OVERFLOW_SIMPLE | 0 | kvm->nr_memslot_pages | |
| UNITS | 0 | kvm | unit_byte |
| LOCK2 | 0 | &kvm->slots_arch_lock | |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &kvm->lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_lock | |
| TYPE_LOCK | (struct kvm)->slots_arch_lock |