Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/wireless/rsi/rsi_91x_main.c rsi_91x_deinit() -> rsi_kill_thread()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/wireless/rsi/rsi_91x_main.c rsi_91x_init() -> rsi_kill_thread()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->completion.done 0
PARAM_VALUE 0 handle->completion.wait.lock.magic 3735899821
PARAM_VALUE 0 handle->completion.wait.lock.owner (-1)
PARAM_VALUE 0 handle->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 handle->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 handle->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 handle->event.event_condition.counter 1
PARAM_VALUE 0 handle->event.event_queue.head.next 4096-ptr_max
PARAM_VALUE 0 handle->event.event_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 handle->task 4096-ptr_max
PARAM_VALUE 0 handle->thread_done.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/rsi/rsi_91x_sdio.c rsi_disconnect() -> rsi_kill_thread()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/wireless/rsi/rsi_91x_sdio.c rsi_probe() -> rsi_kill_thread()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->completion.done 0
PARAM_VALUE 0 handle->completion.wait.lock.magic 3735899821
PARAM_VALUE 0 handle->completion.wait.lock.owner (-1)
PARAM_VALUE 0 handle->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 handle->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 handle->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 handle->event.event_condition.counter 1
PARAM_VALUE 0 handle->event.event_queue.head.next 4096-ptr_max
PARAM_VALUE 0 handle->event.event_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 handle->task 4096-ptr_max
PARAM_VALUE 0 handle->thread_done.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/rsi/rsi_91x_coex.c rsi_coex_detach() -> rsi_kill_thread()

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

drivers/net/wireless/rsi/rsi_91x_usb.c rsi_deinit_usb_interface() -> rsi_kill_thread()

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