Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/memory.c zap_nonpresent_ptes() -> zap_install_uffd_wp_if_needed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_mm->iommu_mm->pasid | 0-4294967295 |
| PARAM_VALUE | 0 | vma->vm_mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->active_invalidate_ranges | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->has_itree | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->invalidate_seq | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 0 | vma->vm_ops->access | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->close | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->fault | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->find_normal_page | 0,7701293790578647040 |
| PARAM_VALUE | 0 | vma->vm_ops->get_policy | 0,4616414333962629120,4828607683292463104,8976238440117981184 |
| PARAM_VALUE | 0 | vma->vm_ops->huge_fault | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->map_pages | 0,3176874211750576128,5698041470598119424 |
| PARAM_VALUE | 0 | vma->vm_ops->mapped | 0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800 |
| PARAM_VALUE | 0 | vma->vm_ops->may_split | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->mprotect | 0,1325936775103746048 |
| PARAM_VALUE | 0 | vma->vm_ops->mremap | 0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968 |
| PARAM_VALUE | 0 | vma->vm_ops->name | 0,4895095206942478336,8589198899344281600 |
| PARAM_VALUE | 0 | vma->vm_ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->page_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->pagesize | 0,1990568509668610048,3507690403222872064,7130740471179698176 |
| PARAM_VALUE | 0 | vma->vm_ops->pfn_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->set_policy | 0,1009606358897582080,5296408793753837568,9131342062321688576 |
| PARAM_VALUE | 0 | vma->vm_ops->uffd_ops | 0,2881150691235323904,7418773112577396736 |
| PARAM_VALUE | 0 | vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | details | 0,387197900413460480,1625540805574000640,2054197844880678912,3413708407795286016,7358449392398376960 |
| PARAM_VALUE | 4 | details->single_folio | 0,4096-ptr_max |
| PARAM_VALUE | 4 | details->zap_flags | 0-1,3 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_mm | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_ops | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | s32min-(-1),1-s32max |
| BUF_SIZE | 4 | details->single_folio | (-1)-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| DATA_SOURCE | 1 | addr | $5 |
| DATA_SOURCE | 2 | pte | $2 |
| DATA_SOURCE | 4 | details | $6 |
| DATA_SOURCE | 5 | pteval | $3 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| HARD_MAX | 4 | details->zap_flags | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->pfnmap_track_ctx->pfn | 0-9007201402224637[c] |
| USER_DATA | 0 | vma->pfnmap_track_ctx->size | 0,4096-u64max[c] |
| USER_DATA | 0 | vma->shared.rb_subtree_last | 0-u64max[u] |
| USER_DATA | 0 | vma->vm_end | 0-u64max |
| USER_DATA | 0 | vma->vm_pgoff | 0-9007201402224637[c] |
| USER_DATA | 0 | vma->vm_start | 0-u64max |
| USER_DATA | 1 | addr | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_policy->mode | |
| NO_OVERFLOW_SIMPLE | 4 | details->single_folio->index | |
| UNITS | 0 | vma | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c zap_present_folio_ptes() -> zap_install_uffd_wp_if_needed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_mm->iommu_mm->pasid | 0-4294967295 |
| PARAM_VALUE | 0 | vma->vm_mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->active_invalidate_ranges | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->has_itree | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->invalidate_seq | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 0 | vma->vm_ops->access | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->close | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->fault | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->find_normal_page | 0,7701293790578647040 |
| PARAM_VALUE | 0 | vma->vm_ops->get_policy | 0,4616414333962629120,4828607683292463104,8976238440117981184 |
| PARAM_VALUE | 0 | vma->vm_ops->huge_fault | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->map_pages | 0,3176874211750576128,5698041470598119424 |
| PARAM_VALUE | 0 | vma->vm_ops->mapped | 0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800 |
| PARAM_VALUE | 0 | vma->vm_ops->may_split | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->mprotect | 0,1325936775103746048 |
| PARAM_VALUE | 0 | vma->vm_ops->mremap | 0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968 |
| PARAM_VALUE | 0 | vma->vm_ops->name | 0,4895095206942478336,8589198899344281600 |
| PARAM_VALUE | 0 | vma->vm_ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->page_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->pagesize | 0,1990568509668610048,3507690403222872064,7130740471179698176 |
| PARAM_VALUE | 0 | vma->vm_ops->pfn_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->set_policy | 0,1009606358897582080,5296408793753837568,9131342062321688576 |
| PARAM_VALUE | 0 | vma->vm_ops->uffd_ops | 0,2881150691235323904,7418773112577396736 |
| PARAM_VALUE | 0 | vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | pte | 4096-ptr_max |
| PARAM_VALUE | 4 | details | 0,387197900413460480,1625540805574000640,2054197844880678912,3413708407795286016,7358449392398376960 |
| PARAM_VALUE | 4 | details->single_folio | 0,4096-ptr_max |
| PARAM_VALUE | 4 | details->zap_flags | 0-1,3 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_mm | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_ops | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | s32min-(-1),1-s32max |
| BUF_SIZE | 4 | details->single_folio | (-1)-s32max |
| CAPPED_DATA | 3 | nr | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| DATA_SOURCE | 1 | addr | $7 |
| DATA_SOURCE | 2 | pte | $4 |
| DATA_SOURCE | 3 | nr | $6 |
| DATA_SOURCE | 4 | details | $8 |
| DATA_SOURCE | 5 | pteval | $5 [m] |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| HARD_MAX | 4 | details->zap_flags | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->pfnmap_track_ctx->pfn | 0-9007201402224637[c] |
| USER_DATA | 0 | vma->pfnmap_track_ctx->size | 0,4096-u64max[c] |
| USER_DATA | 0 | vma->shared.rb_subtree_last | 0-u64max[u] |
| USER_DATA | 0 | vma->vm_end | 0-u64max |
| USER_DATA | 0 | vma->vm_pgoff | 0-9007201402224637[c] |
| USER_DATA | 0 | vma->vm_start | 0-u64max |
| USER_DATA | 1 | addr | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_policy->mode | |
| NO_OVERFLOW_SIMPLE | 4 | details->single_folio->index | |
| UNITS | 0 | vma | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c zap_present_ptes() -> zap_install_uffd_wp_if_needed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_mm->iommu_mm->pasid | 0-4294967295 |
| PARAM_VALUE | 0 | vma->vm_mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->active_invalidate_ranges | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->has_itree | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->notifier_subscriptions->invalidate_seq | 0-s64max |
| PARAM_VALUE | 0 | vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 0 | vma->vm_ops->access | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->close | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->fault | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->find_normal_page | 0,7701293790578647040 |
| PARAM_VALUE | 0 | vma->vm_ops->get_policy | 0,4616414333962629120,4828607683292463104,8976238440117981184 |
| PARAM_VALUE | 0 | vma->vm_ops->huge_fault | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->map_pages | 0,3176874211750576128,5698041470598119424 |
| PARAM_VALUE | 0 | vma->vm_ops->mapped | 0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800 |
| PARAM_VALUE | 0 | vma->vm_ops->may_split | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->mprotect | 0,1325936775103746048 |
| PARAM_VALUE | 0 | vma->vm_ops->mremap | 0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968 |
| PARAM_VALUE | 0 | vma->vm_ops->name | 0,4895095206942478336,8589198899344281600 |
| PARAM_VALUE | 0 | vma->vm_ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->page_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->pagesize | 0,1990568509668610048,3507690403222872064,7130740471179698176 |
| PARAM_VALUE | 0 | vma->vm_ops->pfn_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops->set_policy | 0,1009606358897582080,5296408793753837568,9131342062321688576 |
| PARAM_VALUE | 0 | vma->vm_ops->uffd_ops | 0,2881150691235323904,7418773112577396736 |
| PARAM_VALUE | 0 | vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | pte | 4096-ptr_max |
| PARAM_VALUE | 3 | nr | 1 |
| PARAM_VALUE | 4 | details | 0,387197900413460480,1625540805574000640,2054197844880678912,3413708407795286016,7358449392398376960 |
| PARAM_VALUE | 4 | details->single_folio | 0,4096-ptr_max |
| PARAM_VALUE | 4 | details->zap_flags | 0-1,3 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_mm | (-1),1-s32max |
| BUF_SIZE | 0 | vma->vm_ops | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | s32min-(-1),1-s32max |
| BUF_SIZE | 4 | details->single_folio | (-1)-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| DATA_SOURCE | 1 | addr | $5 |
| DATA_SOURCE | 2 | pte | $2 |
| DATA_SOURCE | 4 | details | $6 |
| DATA_SOURCE | 5 | pteval | $3 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| HARD_MAX | 4 | details->zap_flags | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->pfnmap_track_ctx->pfn | 0-9007201402224637[c] |
| USER_DATA | 0 | vma->pfnmap_track_ctx->size | 0,4096-u64max[c] |
| USER_DATA | 0 | vma->shared.rb_subtree_last | 0-u64max[u] |
| USER_DATA | 0 | vma->vm_end | 0-u64max |
| USER_DATA | 0 | vma->vm_pgoff | 0-9007201402224637[c] |
| USER_DATA | 0 | vma->vm_start | 0-u64max |
| USER_DATA | 1 | addr | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_policy->mode | |
| NO_OVERFLOW_SIMPLE | 4 | details->single_folio->index | |
| UNITS | 0 | vma | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |