Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/pagewalk.c walk_kernel_page_table_range_lockless() -> check_ops_safe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 7259367289465864192 |
| DATA_SOURCE | 0 | ops | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &init_mm.mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/pagewalk.c walk_page_mapping() -> check_ops_safe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 4859514388048031744,5757727495644712960 |
| DATA_SOURCE | 0 | ops | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mapping->i_mmap_rwsem | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
mm/pagewalk.c walk_page_range() -> check_ops_safe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ops->install_pte | 0,1044397068690849792 |
| BUF_SIZE | 0 | ops | (-1),96 |
| BUF_SIZE | 0 | ops | (-1),96 |
| DATA_SOURCE | 0 | ops | $3 |
| BIT_INFO | 0 | ops | 0x0,0x7fffffffffffffff |
| BIT_INFO | 0 | ops | 0x0,0x7fffffffffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &p->mm->mmap_lock | ||
| HALF_LOCKED2 | &priv->lock_ctx.mm->mmap_lock | ||
| HALF_LOCKED2 | global &mf_mutex | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/pagewalk.c walk_page_range_debug() -> check_ops_safe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 2538436070775504896 |
| DATA_SOURCE | 0 | ops | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | global &init_mm.mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/pagewalk.c walk_page_range_vma() -> check_ops_safe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ops->install_pte | 0,1044397068690849792 |
| BUF_SIZE | 0 | ops | (-1),96 |
| BUF_SIZE | 0 | ops | (-1),96 |
| DATA_SOURCE | 0 | ops | $3 |
| BIT_INFO | 0 | ops | 0x0,0x7fffffffffffffff |
| BIT_INFO | 0 | ops | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | global &ksm_thread_mutex |
mm/pagewalk.c walk_page_vma() -> check_ops_safe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 3192951946196508672,3994109614704865280,5080546469262647296,5379421704262164480,6574320843262431232,8933823251332841472 |
| BUF_SIZE | 0 | ops | (-1),96 |
| BUF_SIZE | 0 | ops | (-1),96 |
| DATA_SOURCE | 0 | ops | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &m->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |