Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/tb.c tb_handle_event() -> tb_handle_notification()

Type Parameter Key Value
PARAM_VALUE 0 tb 4096-ptr_max
PARAM_VALUE 0 tb->cm_ops 4096-ptr_max
PARAM_VALUE 0 tb->cm_ops->handle_event 1318799707221995520,7941386128909918208
PARAM_VALUE 1 route 0-18014398509481983
PARAM_VALUE 2 error 4096-ptr_max
BUF_SIZE 0 tb 2304,3616
BUF_SIZE 0 tb 2304,3616
DATA_SOURCE 0 tb $0
DATA_SOURCE 1 route r tb_cfg_get_route
DATA_SOURCE 2 error $2
RX_PATH
NOCHECK_CALL
LOCK2 &pool->lock