kvm_flush_remote_tlbs_range identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/kvm_host.h, line 1580 (as a prototype)

Defined in 1 files as a function:

virt/kvm/kvm_main.c, line 315 (as a function)

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c __walk_slot_rmaps() -> kvm_flush_remote_tlbs_range()

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->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
BUF_SIZE	0	kvm	s32min-(-1),1-s32max
BUF_SIZE	0	kvm	s32min-(-1),1-s32max
DATA_SOURCE	0	kvm	$0
DATA_SOURCE	1	gfn	$5
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
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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	1-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->object_size
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->object_size
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->object_size
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
NO_OVERFLOW_SIMPLE	0	kvm->srcu.sda
UNITS	0	kvm	unit_byte
UNITS	1	gfn	unit_page
UNITS	2	nr_pages	unit_page
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_flush_remote_tlbs_gfn() -> kvm_flush_remote_tlbs_range()

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->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->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_parent->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	kvm->debugfs_dentry->d_parent->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
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
BUF_SIZE	0	kvm	s32min-(-1),1-s32max
BUF_SIZE	0	kvm	s32min-(-1),1-s32max
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
NOCHECK_CALL
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-4503599627370495[c]
NO_OVERFLOW_SIMPLE	0	kvm->arch.hv_pa_pg
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.capacity
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.nobjs
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_desc_cache.objects
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_page_header_cache.capacity
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_page_header_cache.kmem_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_page_header_cache.nobjs
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_page_header_cache.objects
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_shadow_page_cache.capacity
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_shadow_page_cache.kmem_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_shadow_page_cache.nobjs
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_shadow_page_cache.objects
NO_OVERFLOW_SIMPLE	0	kvm->debugfs_dentry->d_fsdata->d_fsdata
NO_OVERFLOW_SIMPLE	0	kvm->debugfs_stat_data
NO_OVERFLOW_SIMPLE	0	kvm->mm
NO_OVERFLOW_SIMPLE	0	kvm->mm->context.ldt
NO_OVERFLOW_SIMPLE	0	kvm->mm->context.ldt->entries
NO_OVERFLOW_SIMPLE	0	kvm->mm->mm_cid.pcpu
NO_OVERFLOW_SIMPLE	0	kvm->mm->notifier_subscriptions
NO_OVERFLOW_SIMPLE	0	kvm->mm->sc_stat.pcpu_sched
NO_OVERFLOW_SIMPLE	0	kvm->nr_memslot_pages
NO_OVERFLOW_SIMPLE	0	kvm->srcu.sda
NO_OVERFLOW_SIMPLE	0	kvm->srcu.srcu_sup
NO_OVERFLOW_SIMPLE	0	kvm->stats_id
UNITS	0	kvm	unit_byte
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_zap_gfn_range() -> kvm_flush_remote_tlbs_range()

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->mmu_lock.dep_map->name	0-255
PARAM_VALUE	0	*kvm->arch.vioapic->irq_eoi	0-4294967295
PARAM_VALUE	1	gfn	0-4503599627370495
PARAM_VALUE	2	nr_pages	1-4503599627371007
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
CAPPED_DATA	2	nr_pages	1
DATA_SOURCE	0	kvm	$0
DATA_SOURCE	1	gfn	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	kvm->arch.nr_reserved_ioapic_pins	0-255
USER_DATA	0	kvm->mmu_invalidate_range_start	0-9007199254740990[c]
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_page_header_cache.kmem_cache->object_size
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_shadow_page_cache.kmem_cache->object_size
UNITS	0	kvm	unit_byte
UNITS	1	gfn	unit_page
UNITS	2	nr_pages	unit_page
LOCK2	0	&kvm->mmu_lock
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->srcu
TYPE_LOCK		(struct kvm)->mmu_lock

arch/x86/kvm/mmu/tdp_mmu.c kvm_flush_remote_tlbs_gfn() -> kvm_flush_remote_tlbs_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	kvm	4096-ptr_max
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->arch.has_mapped_host_mmio	1
PARAM_VALUE	1	gfn	0-13510798882111483
CAPPED_DATA	1	gfn	1
DATA_SOURCE	0	kvm	$0
NOCHECK_CALL
USER_DATA	1	gfn	0-13510798882111483[c]
UNITS	0	kvm	unit_byte
LOCK2		rcu_read
HALF_LOCKED2		&file->f_mapping->invalidate_lock
HALF_LOCKED2		&vcpu->mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2	0	&kvm->mmu_lock
HALF_LOCKED2	0	&kvm->srcu

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_flush_remote_tlbs_memslot() -> kvm_flush_remote_tlbs_range()

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->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
BUF_SIZE	0	kvm	s32min-(-1),1-s32max
BUF_SIZE	0	kvm	s32min-(-1),1-s32max
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
NOSPEC	1	gfn
NOSPEC	1	gfn
NOSPEC	2	nr_pages
NOSPEC	2	nr_pages
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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.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]
USER_DATA	2	nr_pages	0-4503599627370495[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->object_size
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->object_size
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->object_size
NO_OVERFLOW_SIMPLE	0	kvm->arch.split_shadow_page_cache.kmem_cache->sheaf_capacity
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
UNITS	2	nr_pages	unit_page
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	&kvm->lock
HALF_LOCKED2	0	&kvm->mmu_lock
HALF_LOCKED2	0	&kvm->slots_lock