Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/server/server.c queue_ksmbd_work() -> ksmbd_conn_enqueue_request()

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->request_buf 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 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