Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/svm/sev.c kvm_mem_is_private() -> kvm_get_memory_attributes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | gfn | 0-4503599627370495 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | gfn | $1 |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 1 | gfn | unit_page |
arch/x86/kvm/mmu/mmu.c hugepage_has_attrs() -> kvm_get_memory_attributes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.has_private_mem | 1 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| 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 | 1 | gfn | 0-18446744073709551614 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | gfn | 1 |
| CAPPED_DATA | 1 | gfn | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | gfn | $2 [m] |
| STR_LEN | 0 | kvm->arch.vm_type | (-1) |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| NOSPEC | 0 | kvm->arch.n_max_mmu_pages | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kvm->arch.n_max_mmu_pages | 64-u64max[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 | 0 | kvm->mmu_invalidate_range_start | 0-9007199254740990[c] |
| USER_DATA | 1 | gfn | 0-524799[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->debugfs_dentry->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->nr_memslot_pages | |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 1 | gfn | unit_page |
| HALF_LOCKED2 | 0 | &kvm->lock | |
| HALF_LOCKED2 | 0 | &kvm->mmu_lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_arch_lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_lock | |
| HALF_LOCKED2 | 0 | &kvm->srcu |
arch/x86/kvm/mmu/mmu.c kvm_mem_is_private() -> kvm_get_memory_attributes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_advance_ns | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode_mask | 0-4294967295 |
| 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 | 0 | kvm->debugfs_dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->alloc_notifier | 0,118721215206682624,3867215761732038656 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->arch_invalidate_secondary_tlbs | 0,2531244588478550016,3838771156564492288 |
| 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,18038112991842304,370137738663178240,1669647988633919488,6148653532485574656,7790800904503803904 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->test_young | 0,2029453645569474560 |
| PARAM_VALUE | 1 | gfn | 0-18446744073709551614 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | gfn | 1 |
| CAPPED_DATA | 1 | gfn | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | gfn | $1 |
| STR_LEN | 0 | kvm->arch.vm_type | (-1) |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| NOSPEC | 0 | kvm->arch.n_max_mmu_pages | |
| NOSPEC | 1 | gfn | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | kvm->arch.n_max_mmu_pages | 64-u64max[c] |
| USER_DATA | 0 | kvm->arch.nr_reserved_ioapic_pins | 0-255 |
| 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 | 0 | kvm->mmu_invalidate_range_start | 0-9007199254740990[c] |
| USER_DATA | 1 | gfn | 0-9007199254740989[c] |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.nx_huge_page_recovery_thread | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.nx_huge_page_recovery_thread->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_desc_cache.kmem_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_desc_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_desc_cache.objects | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_page_header_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_page_header_cache.objects | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_shadow_page_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_shadow_page_cache.objects | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->debugfs_dentry->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->debugfs_dentry->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->context.ldt->entries | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->nr_memslot_pages | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->srcu.sda | |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 1 | gfn | unit_page |
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | 0 | &kvm->arch.apic_map_lock | |
| HALF_LOCKED2 | 0 | &kvm->arch.apicv_update_lock | |
| HALF_LOCKED2 | 0 | &kvm->lock | |
| HALF_LOCKED2 | 0 | &kvm->mmu_lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_lock | |
| HALF_LOCKED2 | 0 | &kvm->srcu |
arch/x86/kvm/mmu/mmu.c kvm_mmu_init_memslot_memory_attributes() -> kvm_get_memory_attributes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.has_private_mem | 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->debugfs_dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| 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->list.prev->prev | 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 | gfn | 0-9007199254740989 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | gfn | 1 |
| CAPPED_DATA | 1 | gfn | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| STR_LEN | 0 | kvm->arch.vm_type | (-1) |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| NOSPEC | 0 | kvm->arch.n_max_mmu_pages | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kvm->arch.n_max_mmu_pages | 64-u64max[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 | gfn | 0-524287[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->nr_memslot_pages | |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 1 | gfn | unit_page |
| 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_range_has_memory_attributes() -> kvm_get_memory_attributes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | kvm->debugfs_dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| 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,18038112991842304,370137738663178240,1669647988633919488,6148653532485574656,7790800904503803904 |
| PARAM_VALUE | 0 | kvm->mmu_notifier.ops->test_young | 0,2029453645569474560 |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | gfn | 1 |
| CAPPED_DATA | 1 | gfn | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | gfn | $1 |
| STR_LEN | 0 | kvm->arch.vm_type | (-1) |
| STR_LEN | 0 | kvm->stats_id | (-1),47 |
| NOSPEC | 0 | kvm->arch.n_max_mmu_pages | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kvm->arch.n_max_mmu_pages | 64-u64max[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 | 0 | kvm->mmu_invalidate_range_start | 0-9007199254740990[c] |
| USER_DATA | 1 | gfn | 0-524287[c] |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.nx_huge_page_recovery_thread->task->dl.dl_runtime | |
| 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->nr_memslot_pages | |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 1 | gfn | unit_page |
| HALF_LOCKED2 | &file->f_mapping->invalidate_lock | ||
| HALF_LOCKED2 | 0 | &kvm->lock | |
| HALF_LOCKED2 | 0 | &kvm->mmu_lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_arch_lock | |
| HALF_LOCKED2 | 0 | &kvm->slots_lock | |
| HALF_LOCKED2 | 0 | &kvm->srcu |