Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_pending_push() -> ssh_ptl_timeout_reaper_mod()

Type Parameter Key Value
PARAM_VALUE 0 ptl 4096-ptr_max
PARAM_VALUE 0 ptl->pending.lock.rlock.dep_map->name 0-255
DATA_SOURCE 1 now r ktime_get_coarse_boottime
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_timeout_reap() -> ssh_ptl_timeout_reaper_mod()

Type Parameter Key Value
PARAM_VALUE 0 ptl 4096-ptr_max
PARAM_VALUE 0 ptl->pending.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ptl->rtx_timeout.expires s64max
PARAM_VALUE 0 ptl->rtx_timeout.lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 expires (-9223372036854775807)-9223372036854775806
CAPPED_DATA 0 &ptl->pending.head 1
CAPPED_DATA 2 expires 1
CAPPED_DATA 2 expires 1
DATA_SOURCE 1 now r ktime_get_coarse_boottime
PARAM_COMPARE 1 now < $2
PARAM_COMPARE 2 expires > $1
PARAM_COMPARE 2 expires > $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock