Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pcmcia/yenta_socket.c yenta_set_socket() -> yenta_set_power()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 state 4096-ptr_max
PARAM_VALUE 1 state->Vcc 0
DATA_SOURCE 1 state $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock

drivers/pcmcia/yenta_socket.c yenta_set_socket() -> yenta_set_power()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 1 state 4096-ptr_max
PARAM_VALUE 1 state->Vcc 1-255
DATA_SOURCE 1 state $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock