Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/doe.c doe_statemachine_work() -> signal_task_abort()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->doe_mb 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 rv (-16),(-5)
DATA_SOURCE 1 rv r pci_doe_send_req
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/pci/doe.c doe_statemachine_work() -> signal_task_abort()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->doe_mb 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 rv (-5)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/pci/doe.c doe_statemachine_work() -> signal_task_abort()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->doe_mb 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 rv (-5)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/pci/doe.c doe_statemachine_work() -> signal_task_abort()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->doe_mb 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 rv (-5)
DATA_SOURCE 1 rv r pci_doe_wait
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/pci/doe.c doe_statemachine_work() -> signal_task_abort()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->doe_mb 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev 4096-ptr_max
PARAM_VALUE 0 task->doe_mb->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 rv s32min-(-1)
DATA_SOURCE 1 rv r pci_doe_recv_resp
BIT_INFO 1 rv 0x0,0x7fffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock