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_replace_memslot()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.mmu_valid_gen | 0-1 |
| 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->arch.tdp_mmu_pages_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->mmu_lock.dep_map->name | 0-255 |
| 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->mn_active_invalidate_count | 0 |
| PARAM_VALUE | 0 | kvm->mn_invalidate_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->mn_memslots_update_rcuwait.task | 0 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->lock.owner | (-1) |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->work.work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->work.work.entry.prev | 2076614606316732416 |
| PARAM_VALUE | 1 | old | 0,4096-ptr_max |
| PARAM_VALUE | 2 | new | 0,4096-ptr_max |
| PARAM_VALUE | 2 | new->id | 0-32766 |
| PARAM_VALUE | 2 | new->npages | 0-4503599627370495 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | old | (-1),280 |
| BUF_SIZE | 1 | old | (-1),280 |
| CAPPED_DATA | 0 | kvm | 1 |
| CAPPED_DATA | 2 | new | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| STR_LEN | 0 | kvm->arch.vm_type | (-1) |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| NOSPEC | 1 | old->id | |
| NOSPEC | 2 | new->base_gfn | |
| NOSPEC | 2 | new->id | |
| NOSPEC | 2 | new->npages | |
| 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 |
| USER_DATA | 1 | old->id | 1-32763[c] |
| USER_DATA | 2 | new->base_gfn | 0-524287[c] |
| USER_DATA | 2 | new->flags | 0-u32max |
| USER_DATA | 2 | new->gmem.pgoff | 0-524287[c] |
| USER_DATA | 2 | new->id | 1-32763[c] |
| USER_DATA | 2 | new->npages | 0-4503599627370495[c] |
| NO_OVERFLOW_SIMPLE | 0 | kvm->nr_memslot_pages | |
| NO_OVERFLOW_SIMPLE | 2 | new->npages | |
| UNITS | 0 | kvm | unit_byte |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &kvm->lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_create_memslot() -> kvm_replace_memslot()
| 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.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 |
| PARAM_VALUE | 1 | old | 0 |
| PARAM_VALUE | 2 | new | 4096-ptr_max |
| PARAM_VALUE | 2 | new->as_id | 0-1 |
| PARAM_VALUE | 2 | new->base_gfn | 0-4503599627370495 |
| PARAM_VALUE | 2 | new->id | 0-32766 |
| PARAM_VALUE | 2 | new->npages | 0-4503599627370495 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | new | 280 |
| CAPPED_DATA | 0 | kvm | 1 |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new->as_id | 1 |
| CAPPED_DATA | 2 | new->base_gfn | 1 |
| CAPPED_DATA | 2 | new->id | 1 |
| CAPPED_DATA | 2 | new->npages | 1 |
| CAPPED_DATA | 2 | new->userspace_addr | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 2 | new | $1 |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| BIT_INFO | 2 | new->userspace_addr | 0x0,0xfffffffffffff000 |
| NOSPEC | 2 | new->base_gfn | |
| NOSPEC | 2 | new->id | |
| NOSPEC | 2 | new->npages | |
| 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 |
| USER_DATA | 2 | new->base_gfn | 0-524287[c] |
| USER_DATA | 2 | new->flags | 0-u32max |
| USER_DATA | 2 | new->gmem.pgoff | 0-524287[c] |
| USER_DATA | 2 | new->id | 1-32763[c] |
| USER_DATA | 2 | new->npages | 0-4503599627370495[c] |
| 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_delete_memslot() -> kvm_replace_memslot()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.mmu_valid_gen | 0-1 |
| 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->arch.shadow_root_allocated | 0 |
| PARAM_VALUE | 0 | kvm->arch.tdp_mmu_pages_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->mmu_lock.dep_map->name | 0-255 |
| 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->mn_active_invalidate_count | 0 |
| PARAM_VALUE | 0 | kvm->mn_invalidate_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->mn_memslots_update_rcuwait.task | 0 |
| PARAM_VALUE | 0 | kvm->nr_memslot_pages | 1-u64max |
| 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->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| 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->srcu.sda | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_barrier_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_cb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_gp_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_gp_seq_needed | 0,4-u64max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->work.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4096-ptr_max |
| PARAM_VALUE | 1 | old->id | 0-32766 |
| PARAM_VALUE | 1 | old->npages | 1-u64max |
| PARAM_VALUE | 2 | new | 0 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | kvm | 1 |
| CAPPED_DATA | 0 | kvm->nr_memslot_pages | 1 |
| CAPPED_DATA | 1 | old | 1 |
| CAPPED_DATA | 1 | old->as_id | 1 |
| CAPPED_DATA | 1 | old->id | 1 |
| CAPPED_DATA | 1 | old->npages | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | old | $1 |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| NOSPEC | 1 | old->id | |
| 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 |
| USER_DATA | 1 | old->id | 1-32763[c] |
| 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_replace_memslot()
| 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.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 |
| PARAM_VALUE | 1 | old | 4096-ptr_max |
| PARAM_VALUE | 1 | old->id | 0-32766 |
| PARAM_VALUE | 2 | new | 4096-ptr_max |
| PARAM_VALUE | 2 | new->id | 0-32766 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | new | 280 |
| CAPPED_DATA | 0 | kvm | 1 |
| CAPPED_DATA | 1 | old->id | 1 |
| CAPPED_DATA | 1 | old->npages | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| BIT_INFO | 2 | new->flags | 0x10000,0xffffffff |
| NOSPEC | 1 | old->id | |
| NOSPEC | 2 | new->id | |
| 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 |
| USER_DATA | 1 | old->id | 1-32763[c] |
| USER_DATA | 2 | new->id | 1-32763[c] |
| 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_move_memslot() -> kvm_replace_memslot()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.mmu_valid_gen | 0-1 |
| 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->arch.shadow_root_allocated | 0 |
| PARAM_VALUE | 0 | kvm->arch.tdp_mmu_pages_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->mmu_lock.dep_map->name | 0-255 |
| 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->mn_active_invalidate_count | 0 |
| PARAM_VALUE | 0 | kvm->mn_invalidate_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->mn_memslots_update_rcuwait.task | 0 |
| 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->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | kvm->slots_arch_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| 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->srcu.sda | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_barrier_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_cb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_gp_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->srcu_gp_seq_needed | 0,4-u64max |
| PARAM_VALUE | 0 | kvm->srcu.srcu_sup->work.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4096-ptr_max |
| PARAM_VALUE | 1 | old->id | 0-32766 |
| PARAM_VALUE | 1 | old->npages | 0-4503599627370495 |
| PARAM_VALUE | 2 | new | 4096-ptr_max |
| PARAM_VALUE | 2 | new->as_id | 0-1 |
| PARAM_VALUE | 2 | new->base_gfn | 0-4503599627370495 |
| PARAM_VALUE | 2 | new->id | 0-32766 |
| PARAM_VALUE | 2 | new->npages | 0-4503599627370495 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | new | 280 |
| CAPPED_DATA | 0 | kvm | 1 |
| CAPPED_DATA | 1 | old | 1 |
| CAPPED_DATA | 1 | old->as_id | 1 |
| CAPPED_DATA | 1 | old->id | 1 |
| CAPPED_DATA | 1 | old->npages | 1 |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new->as_id | 1 |
| CAPPED_DATA | 2 | new->base_gfn | 1 |
| CAPPED_DATA | 2 | new->id | 1 |
| CAPPED_DATA | 2 | new->npages | 1 |
| CAPPED_DATA | 2 | new->userspace_addr | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| BIT_INFO | 2 | new->userspace_addr | 0x0,0xfffffffffffff000 |
| NOSPEC | 1 | old->id | |
| NOSPEC | 2 | new->base_gfn | |
| NOSPEC | 2 | new->id | |
| NOSPEC | 2 | new->npages | |
| 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 |
| USER_DATA | 1 | old->id | 1-32763[c] |
| USER_DATA | 2 | new->base_gfn | 0-524287[c] |
| USER_DATA | 2 | new->flags | 0-u32max |
| USER_DATA | 2 | new->gmem.pgoff | 0-524287[c] |
| USER_DATA | 2 | new->id | 1-32763[c] |
| USER_DATA | 2 | new->npages | 0-4503599627370495[c] |
| 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_update_flags_memslot() -> kvm_replace_memslot()
| 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.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 |
| PARAM_VALUE | 1 | old | 0,4096-ptr_max |
| PARAM_VALUE | 1 | old->id | 0-32766 |
| PARAM_VALUE | 1 | old->npages | 0-4503599627370495 |
| PARAM_VALUE | 2 | new | 4096-ptr_max |
| PARAM_VALUE | 2 | new->as_id | 0-1 |
| PARAM_VALUE | 2 | new->base_gfn | 0-4503599627370495 |
| PARAM_VALUE | 2 | new->id | 0-32766 |
| PARAM_VALUE | 2 | new->npages | 0-4503599627370495 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | new | 280 |
| CAPPED_DATA | 0 | kvm | 1 |
| CAPPED_DATA | 1 | old | 1 |
| CAPPED_DATA | 1 | old->id | 1 |
| CAPPED_DATA | 1 | old->npages | 1 |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new->as_id | 1 |
| CAPPED_DATA | 2 | new->base_gfn | 1 |
| CAPPED_DATA | 2 | new->id | 1 |
| CAPPED_DATA | 2 | new->npages | 1 |
| CAPPED_DATA | 2 | new->userspace_addr | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| BIT_INFO | 2 | new->userspace_addr | 0x0,0xfffffffffffff000 |
| NOSPEC | 1 | old->id | |
| NOSPEC | 2 | new->base_gfn | |
| NOSPEC | 2 | new->id | |
| NOSPEC | 2 | new->npages | |
| 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 |
| USER_DATA | 1 | old->id | 1-32763[c] |
| USER_DATA | 2 | new->base_gfn | 0-524287[c] |
| USER_DATA | 2 | new->flags | 0-u32max |
| USER_DATA | 2 | new->gmem.pgoff | 0-524287[c] |
| USER_DATA | 2 | new->id | 1-32763[c] |
| USER_DATA | 2 | new->npages | 0-4503599627370495[c] |
| 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 |