Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/locks.c locks_alloc_lease() -> locks_init_lock_heads()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flc | 1-u64max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/locks.c locks_alloc_lock() -> locks_init_lock_heads()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flc | 1-u64max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &stp->st_mutex |
fs/locks.c locks_init_lease() -> locks_init_lock_heads()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flc | 4096-ptr_max |
| PARAM_VALUE | 0 | flc->flc_blocked_member.next | 0 |
| PARAM_VALUE | 0 | flc->flc_blocked_member.prev | 0 |
| PARAM_VALUE | 0 | flc->flc_blocked_requests.next | 0 |
| PARAM_VALUE | 0 | flc->flc_blocked_requests.prev | 0 |
| PARAM_VALUE | 0 | flc->flc_link.next | 0 |
| PARAM_VALUE | 0 | flc->flc_link.pprev | 0 |
| PARAM_VALUE | 0 | flc->flc_list.next | 0 |
| PARAM_VALUE | 0 | flc->flc_list.prev | 0 |
| PARAM_VALUE | 0 | flc->flc_wait.head.next | 0 |
| PARAM_VALUE | 0 | flc->flc_wait.head.prev | 0 |
| MEM_ZERO | 0 | flc | |
| NOCHECK_CALL |
fs/locks.c locks_init_lock() -> locks_init_lock_heads()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flc | 4096-ptr_max |
| PARAM_VALUE | 0 | flc->flc_blocked_member.next | 0 |
| PARAM_VALUE | 0 | flc->flc_blocked_member.prev | 0 |
| PARAM_VALUE | 0 | flc->flc_blocked_requests.next | 0 |
| PARAM_VALUE | 0 | flc->flc_blocked_requests.prev | 0 |
| PARAM_VALUE | 0 | flc->flc_link.next | 0 |
| PARAM_VALUE | 0 | flc->flc_link.pprev | 0 |
| PARAM_VALUE | 0 | flc->flc_list.next | 0 |
| PARAM_VALUE | 0 | flc->flc_list.prev | 0 |
| PARAM_VALUE | 0 | flc->flc_type | 0 |
| PARAM_VALUE | 0 | flc->flc_wait.head.next | 0 |
| PARAM_VALUE | 0 | flc->flc_wait.head.prev | 0 |
| MEM_ZERO | 0 | flc | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &fp->f_fl_mutex | ||
| HALF_LOCKED2 | &fp->fp_mutex | ||
| HALF_LOCKED2 | &host->h_rwsem | ||
| HALF_LOCKED2 | &pool->lock |