Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/smb/server/oplock.c smb2_lease_break_noti() -> ksmbd_queue_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | work | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->compound_fid | s32max |
| PARAM_VALUE | 0 | work->compound_pfid | s32max |
| PARAM_VALUE | 0 | work->conn | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->iov_alloc_cnt | 4 |
| PARAM_VALUE | 0 | work->request_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | work->request_buf | 28 |
| DATA_SOURCE | 0 | work | r ksmbd_alloc_work_struct |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/smb/server/oplock.c smb2_oplock_break_noti() -> ksmbd_queue_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | work | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->compound_fid | s32max |
| PARAM_VALUE | 0 | work->compound_pfid | s32max |
| PARAM_VALUE | 0 | work->conn | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->iov_alloc_cnt | 4 |
| PARAM_VALUE | 0 | work->request_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | work->request_buf | 12 |
| DATA_SOURCE | 0 | work | r ksmbd_alloc_work_struct |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/smb/server/server.c queue_ksmbd_work() -> ksmbd_queue_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | work | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->async_request_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->aux_read_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->compound_fid | s32max |
| PARAM_VALUE | 0 | work->compound_pfid | s32max |
| PARAM_VALUE | 0 | work->conn | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->ops->get_cmd_val | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->request_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->request_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | work->conn->requests.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->requests.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->requests.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->srv_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | work->conn->srv_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->srv_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | work->conn->srv_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | work->conn->status | s32min-1,3-s32max |
| PARAM_VALUE | 0 | work->fp_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->fp_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->iov_alloc_cnt | 4 |
| PARAM_VALUE | 0 | work->request_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_entry.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | work->conn | 128 |
| BUF_SIZE | 0 | work->request_buf | (-1),40-8404997 |
| DATA_SOURCE | 0 | work | r ksmbd_alloc_work_struct |
| NOCHECK_CALL | |||
| USER_PTR | 0 | work->conn->request_buf | |
| USER_PTR | 0 | work->request_buf |