Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/pcmcia/pd6729.c pd6729_pci_probe() -> pcmcia_unregister_socket()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pcmcia/pd6729.c pd6729_pci_remove() -> pcmcia_unregister_socket()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pcmcia/yenta_socket.c yenta_close() -> pcmcia_unregister_socket()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pcmcia/yenta_socket.c yenta_probe() -> pcmcia_unregister_socket()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->cb_dev 4096-ptr_max
PARAM_VALUE 0 socket->cis_cache.prev 4096-ptr_max
PARAM_VALUE 0 socket->cis_mem.speed 300
PARAM_VALUE 0 socket->dev.class 5020110332272504832
PARAM_VALUE 0 socket->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 socket->dev.kobj.name 1-u64max
PARAM_VALUE 0 socket->dev.parent 4096-ptr_max
PARAM_VALUE 0 socket->driver_data 4096-ptr_max
PARAM_VALUE 0 socket->features 16385,49153
PARAM_VALUE 0 socket->irq_mask 0-u16max
PARAM_VALUE 0 socket->map_size 4096
PARAM_VALUE 0 socket->ops 8995878230654881792
PARAM_VALUE 0 socket->owner 0
PARAM_VALUE 0 socket->resource_data 4096-ptr_max
PARAM_VALUE 0 socket->resource_ops 8544649435201912832
PARAM_VALUE 0 socket->resource_setup_done 1
PARAM_VALUE 0 socket->skt_mutex.magic 4096-ptr_max
PARAM_VALUE 0 socket->socket_list.next 1501245609237184512
PARAM_VALUE 0 socket->socket_list.prev 4096-ptr_max
PARAM_VALUE 0 socket->socket_released.done 0
PARAM_VALUE 0 socket->socket_released.wait.lock.magic 3735899821
PARAM_VALUE 0 socket->socket_released.wait.lock.owner (-1)
PARAM_VALUE 0 socket->socket_released.wait.lock.owner_cpu u32max
PARAM_VALUE 0 socket->socket_released.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 socket->socket_released.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 socket->thread 4096-ptr_max
PARAM_VALUE 0 socket->thread_done.done 0-4294967293,u32max
PARAM_VALUE 0 socket->thread_done.wait.lock.owner (-1)
PARAM_VALUE 0 socket->thread_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 socket->thread_done.wait.task_list.next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL