Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/sbp/sbp_target.c sbp_handle_command() -> sbp_calc_data_length_direction()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->cmd_buf 16,4096-ptr_max
PARAM_VALUE 0 req->login 4096-ptr_max
PARAM_VALUE 0 req->login->sess->card->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 req->login->sess->card->done.wait.lock.owner (-1)
PARAM_VALUE 0 req->login->sess->card->done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 req->login->sess->card->transactions.current_tlabel 0-63
PARAM_VALUE 0 req->login->sess->card->transactions.list.prev 4096-ptr_max
PARAM_VALUE 0 req->login->sess->card->transactions.list.prev->next 4096-ptr_max
PARAM_VALUE 0 req->login->sess->card->transactions.list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 req->login->sess->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->orb.command_block 4096-ptr_max
PARAM_VALUE 0 req->orb.misc 0
PARAM_VALUE 1 data_len 7888199342995156992
PARAM_VALUE 2 data_dir 1397114249799745536
DATA_SOURCE 0 req $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock