Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/sbp/sbp_target.c sbp_mgt_agent_process() -> sbp_management_request_query_logins()

Type Parameter Key Value
PARAM_VALUE 0 agent 4096-ptr_max
PARAM_VALUE 0 agent->request 4096-ptr_max
PARAM_VALUE 0 agent->request->card 4096-ptr_max
PARAM_VALUE 0 agent->request->card->transactions.current_tlabel 0-63
PARAM_VALUE 0 agent->request->card->transactions.list.prev 4096-ptr_max
PARAM_VALUE 0 agent->request->card->transactions.list.prev->next 4096-ptr_max
PARAM_VALUE 0 agent->request->card->transactions.list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->card 4096-ptr_max
PARAM_VALUE 1 req->card->transactions.current_tlabel 0-63
PARAM_VALUE 1 req->card->transactions.list.prev 4096-ptr_max
PARAM_VALUE 1 req->card->transactions.list.prev->next 4096-ptr_max
PARAM_VALUE 1 req->card->transactions.list.prev->next->next 4096-ptr_max
PARAM_VALUE 2 status_data_size 6315612353500749824
PARAM_VALUE 2 *status_data_size 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock