Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mmu_notifier.c mmu_notifier_unregister() -> (struct mmu_notifier_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 mn 4096-ptr_max
PARAM_VALUE 0 mn->hlist.pprev 1-u64max
PARAM_VALUE 0 mn->ops 4096-ptr_max
PARAM_VALUE 0 mn->ops->release 18038112991842304,370137738663178240,1669647988633919488,6148653532485574656,7790800904503803904
PARAM_VALUE 1 mm 4096-ptr_max
PARAM_VALUE 1 mm->mm_count.counter 1-s32max
DATA_SOURCE 0 mn $0
DATA_SOURCE 1 mm $1
CONTAINER 0 -0-16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &srcu

mm/mmu_notifier.c mn_hlist_release() -> (struct mmu_notifier_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 mn 4096-ptr_max
PARAM_VALUE 0 mn->ops 4096-ptr_max
PARAM_VALUE 0 mn->ops->release 18038112991842304,370137738663178240,1669647988633919488,6148653532485574656,7790800904503803904
PARAM_VALUE 1 mm 4096-ptr_max
PARAM_VALUE 1 mm->context.global_asid 0
PARAM_VALUE 1 mm->context.ldt 0
PARAM_VALUE 1 mm->exe_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 mm->exe_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 mm->exe_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 mm->exe_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 mm->exe_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 mm->exe_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 mm->exe_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 mm->exe_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 mm->ioctx_table 0
PARAM_VALUE 1 mm->mm_cid.pcpu 0
PARAM_VALUE 1 mm->mm_id 0
PARAM_VALUE 1 mm->mm_users.counter 0
PARAM_VALUE 1 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 1 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 mm->mmap_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 mm->mmap_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 1 mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 mm->notifier_subscriptions->list.first 1-u64max
PARAM_VALUE 1 mm->sc_stat.pcpu_sched 0
BUF_SIZE 1 mm s32min-(-1),1-s32max
BUF_SIZE 1 mm s32min-(-1),1-s32max
CAPPED_DATA 1 mm->uprobes_state.xol_area 1
DATA_SOURCE 1 mm $1
CONTAINER 0 -0-16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &srcu
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 1 &mm->mmap_lock