Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mmu_notifier.c __mmu_interval_notifier_insert() -> mn_itree_is_invalidating()

Type Parameter Key Value
PARAM_VALUE 0 subscriptions 4096-ptr_max
PARAM_VALUE 0 subscriptions->active_invalidate_ranges 1-u64max
PARAM_VALUE 0 subscriptions->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 subscriptions $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &subscriptions->lock
TYPE_LOCK (struct mmu_notifier_subscriptions)->lock

mm/mmu_notifier.c __mmu_interval_notifier_insert() -> mn_itree_is_invalidating()

Type Parameter Key Value
PARAM_VALUE 0 subscriptions 4096-ptr_max
PARAM_VALUE 0 subscriptions->active_invalidate_ranges 0
PARAM_VALUE 0 subscriptions->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 subscriptions $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &subscriptions->lock
TYPE_LOCK (struct mmu_notifier_subscriptions)->lock

mm/mmu_notifier.c mmu_interval_notifier_remove() -> mn_itree_is_invalidating()

Type Parameter Key Value
PARAM_VALUE 0 subscriptions 4096-ptr_max
PARAM_VALUE 0 subscriptions->lock.rlock.dep_map->name 0-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &subscriptions->lock
HALF_LOCKED2 &uctxt->exp_mutex
HALF_LOCKED2 &vm->lock
TYPE_LOCK (struct mmu_notifier_subscriptions)->lock

mm/mmu_notifier.c mn_itree_inv_end() -> mn_itree_is_invalidating()

Type Parameter Key Value
PARAM_VALUE 0 subscriptions 4096-ptr_max
PARAM_VALUE 0 subscriptions->active_invalidate_ranges 0
PARAM_VALUE 0 subscriptions->has_itree 1
PARAM_VALUE 0 subscriptions->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 subscriptions $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &subscriptions->lock
HALF_LOCKED2 &mm->mmap_lock
TYPE_LOCK (struct mmu_notifier_subscriptions)->lock