Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
DATA_SOURCE 0 req $0
HALF_LOCKED2 &pool->lock