Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/pcmcia/pcmcia_cis.c pcmcia_get_mac_from_cis() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->config_index 1
PARAM_VALUE 0 p_dev->function_config 1-u64max
PARAM_VALUE 0 p_dev->has_manf_id 1
PARAM_VALUE 0 p_dev->manf_id 137,152,261,312,387,447
PARAM_VALUE 0 p_dev->priv 4096-ptr_max
PARAM_VALUE 1 code 34
PARAM_VALUE 2 loop_tuple 1414963295354294272
PARAM_VALUE 3 priv_data 4096-ptr_max
BUF_SIZE 3 priv_data 8,16,24,32,40,56,168,376,448,1688,2552
DATA_SOURCE 0 p_dev $0
DATA_SOURCE 3 priv_data $1
RX_PATH
TASK_NOT_RUNNING

drivers/pcmcia/pcmcia_cis.c pcmcia_get_tuple() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->config_index 1
PARAM_VALUE 0 p_dev->function_config 1-u64max
PARAM_VALUE 0 p_dev->has_manf_id 1
PARAM_VALUE 0 p_dev->manf_id 137,152,261,312,387,447
PARAM_VALUE 0 p_dev->priv 4096-ptr_max
PARAM_VALUE 1 code 32,137
PARAM_VALUE 2 loop_tuple 3882717193646710784
PARAM_VALUE 3 priv_data 5114693962679394304
BUF_SIZE 3 priv_data 16
DATA_SOURCE 0 p_dev $0
DATA_SOURCE 1 code $1
HARD_MAX 1 code 137
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ssb/pcmcia.c ssb_pcmcia_get_invariants() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev->function_config->state 0-4294967295
PARAM_VALUE 1 code 34
PARAM_VALUE 2 loop_tuple 1595768989821124608
PARAM_VALUE 3 priv_data 2470795850398785540
BUF_SIZE 3 priv_data 540
RX_PATH
TASK_NOT_RUNNING

drivers/ssb/pcmcia.c ssb_pcmcia_get_invariants() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->function_config->state 0-4294967295
PARAM_VALUE 0 p_dev->socket 4096-ptr_max
PARAM_VALUE 0 p_dev->socket->ops_mutex.dep_map->name 0-255
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 p_dev->socket->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 p_dev->socket->state 8-u32max
PARAM_VALUE 1 code 128
PARAM_VALUE 2 loop_tuple 6663225739451539456
PARAM_VALUE 3 priv_data 2470795850398785536
DATA_SOURCE 3 priv_data $1
RX_PATH
TASK_NOT_RUNNING

drivers/mtd/maps/pcmciamtd.c card_settings() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->function_config 1-u64max
PARAM_VALUE 0 p_dev->priv 4096-ptr_max
PARAM_VALUE 0 p_dev->prod_id 4096-ptr_max
PARAM_VALUE 1 code 65
PARAM_VALUE 2 loop_tuple 5624919920679874560
PARAM_VALUE 3 priv_data 0
BUF_SIZE 0 p_dev->priv 448
DATA_SOURCE 0 p_dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/maps/pcmciamtd.c card_settings() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->function_config 1-u64max
PARAM_VALUE 0 p_dev->priv 4096-ptr_max
PARAM_VALUE 0 p_dev->prod_id 4096-ptr_max
PARAM_VALUE 0 p_dev->socket->ops_mutex.dep_map->name 0-255
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 code 24
PARAM_VALUE 2 loop_tuple 4459540983069323264
PARAM_VALUE 3 priv_data 0
BUF_SIZE 0 p_dev->priv 448
DATA_SOURCE 0 p_dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/maps/pcmciamtd.c card_settings() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->function_config 1-u64max
PARAM_VALUE 0 p_dev->priv 4096-ptr_max
PARAM_VALUE 0 p_dev->prod_id 4096-ptr_max
PARAM_VALUE 0 p_dev->socket->ops_mutex.dep_map->name 0-255
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 code 1
PARAM_VALUE 2 loop_tuple 299005050456748032
PARAM_VALUE 3 priv_data 4096-ptr_max
BUF_SIZE 0 p_dev->priv 448
BUF_SIZE 3 priv_data 448
DATA_SOURCE 0 p_dev $1
DATA_SOURCE 3 priv_data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/maps/pcmciamtd.c card_settings() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->function_config 1-u64max
PARAM_VALUE 0 p_dev->priv 4096-ptr_max
PARAM_VALUE 0 p_dev->prod_id 4096-ptr_max
PARAM_VALUE 0 p_dev->socket->ops_mutex.dep_map->name 0-255
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 code 30
PARAM_VALUE 2 loop_tuple 7476591316867563520
PARAM_VALUE 3 priv_data 4096-ptr_max
BUF_SIZE 0 p_dev->priv 448
BUF_SIZE 3 priv_data 448
DATA_SOURCE 0 p_dev $1
DATA_SOURCE 3 priv_data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/xircom/xirc2ps_cs.c xirc2ps_config() -> pcmcia_loop_tuple()

Type Parameter Key Value
PARAM_VALUE 0 p_dev 4096-ptr_max
PARAM_VALUE 0 p_dev->config_index 1
PARAM_VALUE 0 p_dev->function_config 1-u64max
PARAM_VALUE 0 p_dev->has_manf_id 1
PARAM_VALUE 0 p_dev->manf_id 137,152,261,312,387,447
PARAM_VALUE 0 p_dev->priv 4096-ptr_max
PARAM_VALUE 0 p_dev->socket->ops_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 p_dev->socket->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 code 34
PARAM_VALUE 2 loop_tuple 6216509431647318016
PARAM_VALUE 3 priv_data 4096-ptr_max
BUF_SIZE 3 priv_data 8,16,24,32,40,56,168,376,448,568,1688,2552
DATA_SOURCE 0 p_dev $0
RX_PATH
TASK_NOT_RUNNING