Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/smb/server/smb2pdu.c smb2_send_interim_resp() -> ksmbd_free_work_struct()
| 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->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_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 |
| PARAM_VALUE | 0 | work->response_buf | 0 |
| DATA_SOURCE | 0 | work | r ksmbd_alloc_work_struct |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/smb/server/smb2pdu.c smb2_send_interim_resp() -> ksmbd_free_work_struct()
| 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.next->prev | 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->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 | 4096-ptr_max |
| PARAM_VALUE | 0 | work->iov_alloc_cnt | (-2147483647)-s32max |
| 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 |
| PARAM_VALUE | 0 | work->response_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | work->response_sz | 448 |
| PARAM_VALUE | 0 | work->send_no_response | 1 |
| DATA_SOURCE | 0 | work | r ksmbd_alloc_work_struct |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/smb/server/oplock.c __smb2_lease_break_noti() -> ksmbd_free_work_struct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | work | 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.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->iov | 4096-ptr_max |
| PARAM_VALUE | 0 | work->response_buf | 0,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/smb/server/oplock.c __smb2_oplock_break_noti() -> ksmbd_free_work_struct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | work | 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.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | work->iov | 4096-ptr_max |
| PARAM_VALUE | 0 | work->request_buf | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/smb/server/oplock.c smb2_lease_break_noti() -> ksmbd_free_work_struct()
| 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->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_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 |
| 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_free_work_struct()
| 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->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_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 |
| DATA_SOURCE | 0 | work | r ksmbd_alloc_work_struct |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/smb/server/server.c handle_ksmbd_work() -> ksmbd_free_work_struct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | work | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn | 4096-ptr_max |
| PARAM_VALUE | 0 | work->conn->session_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | work->conn->session_lock.first_waiter->type | 0-1 |
| NOCHECK_CALL | |||
| USER_PTR | 0 | work->request_buf | |
| HALF_LOCKED2 | &pool->lock |