Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/mmu_notifier.c mmu_interval_notifier_insert() -> __mmu_interval_notifier_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | interval_sub | 4096-ptr_max |
| PARAM_VALUE | 1 | mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | mm->notifier_subscriptions | 1-u64max |
| PARAM_VALUE | 2 | subscriptions | 1-u64max |
| PARAM_VALUE | 5 | ops | 4096-ptr_max |
| BUF_SIZE | 0 | interval_sub | (-1),88 |
| BUF_SIZE | 0 | interval_sub | (-1),88 |
| DATA_SOURCE | 0 | interval_sub | $0 |
| DATA_SOURCE | 1 | mm | $1 |
| DATA_SOURCE | 3 | start | $2 |
| DATA_SOURCE | 4 | length | $3 |
| DATA_SOURCE | 5 | ops | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | start | 0-u64max |
| USER_DATA | 4 | length | 0-u64max[c] |
| UNITS | 1 | mm | unit_byte |
| UNITS | 3 | start | unit_byte |
| UNITS | 4 | length | unit_byte |
| HALF_LOCKED2 | &rdev->exclusive_lock | ||
| HALF_LOCKED2 | &uctxt->exp_mutex | ||
| HALF_LOCKED2 | &vm->lock |
mm/mmu_notifier.c mmu_interval_notifier_insert_locked() -> __mmu_interval_notifier_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | interval_sub | 4096-ptr_max |
| PARAM_VALUE | 1 | mm | 4096-ptr_max |
| PARAM_VALUE | 1 | mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | mm->notifier_subscriptions | 4096-ptr_max |
| PARAM_VALUE | 2 | subscriptions | 4096-ptr_max |
| PARAM_VALUE | 5 | ops | 6002051980502183936,6516827727746953216,6871258170163945472 |
| DATA_SOURCE | 0 | interval_sub | $0 |
| DATA_SOURCE | 1 | mm | $1 |
| DATA_SOURCE | 3 | start | $2 |
| DATA_SOURCE | 4 | length | $3 |
| DATA_SOURCE | 5 | ops | $4 |
| NOSPEC | 3 | start | |
| NOSPEC | 3 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | start | 0-18446744073709547520 |
| UNITS | 1 | mm | unit_byte |
| UNITS | 3 | start | unit_byte |
| UNITS | 4 | length | unit_byte |
| HALF_LOCKED2 | &priv->lock | ||
| HALF_LOCKED2 | &svms->lock | ||
| HALF_LOCKED2 | 1 | &mm->mmap_lock |