Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/ctl.c tb_ctl_free() -> tb_ctl_pkg_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/ctl.c tb_ctl_tx() -> tb_ctl_pkg_free()

Type Parameter Key Value
PARAM_VALUE 0 pkg 4096-ptr_max
PARAM_VALUE 0 pkg->buffer 4096-ptr_max
PARAM_VALUE 0 pkg->ctl 4096-ptr_max
PARAM_VALUE 0 pkg->frame.callback 496140806440374272
PARAM_VALUE 0 pkg->frame.eof 1-4,6-7,9,11
PARAM_VALUE 0 pkg->frame.size 4-256
PARAM_VALUE 0 pkg->frame.sof 1-4,6-7,9,11
BUF_SIZE 0 pkg 56
CAPPED_DATA 0 pkg->frame.size 1
DATA_SOURCE 0 pkg r tb_ctl_pkg_alloc
FUZZY_MAX 0 pkg->frame.size 256
HARD_MAX 0 pkg->frame.size 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/thunderbolt/ctl.c tb_ctl_tx_callback() -> tb_ctl_pkg_free()

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