Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/phy/phy-core.c phy_validate() -> (struct phy_ops)->validate()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 0 phy->mutex.dep_map->name 0-255
PARAM_VALUE 0 phy->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 phy->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 phy->mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 phy->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 phy->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 phy->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 phy->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 phy->ops 4096-ptr_max
PARAM_VALUE 0 phy->ops->validate 1-u64max
PARAM_VALUE 1 mode 15-16,18,20
PARAM_VALUE 2 submode 0-37
PARAM_VALUE 3 opts 0,4096-ptr_max
PARAM_VALUE 3 opts->mipi_dphy.clk_pre 0,8
PARAM_VALUE 3 opts->mipi_dphy.clk_prepare 0,38000
PARAM_VALUE 3 opts->mipi_dphy.clk_settle 0,95000
PARAM_VALUE 3 opts->mipi_dphy.clk_trail 0,60000
PARAM_VALUE 3 opts->mipi_dphy.hs_exit 0,100000
PARAM_VALUE 3 opts->mipi_dphy.hs_skip 0,40000
PARAM_VALUE 3 opts->mipi_dphy.init 0,100
PARAM_VALUE 3 opts->mipi_dphy.lpx 0,50000
PARAM_VALUE 3 opts->mipi_dphy.ta_get 0,250000
PARAM_VALUE 3 opts->mipi_dphy.ta_go 0,200000
PARAM_VALUE 3 opts->mipi_dphy.ta_sure 0,50000
PARAM_VALUE 3 opts->mipi_dphy.wakeup 0,1000
CAPPED_DATA 0 &phy->mutex 1
DATA_SOURCE 0 phy $0
DATA_SOURCE 1 mode $1
DATA_SOURCE 2 submode $2
DATA_SOURCE 3 opts $3
CONTAINER 0 -64-1624+0 $(-1)
HARD_MAX 1 mode 20
HARD_MAX 3 opts->mipi_dphy.clk_pre 8
HARD_MAX 3 opts->mipi_dphy.clk_prepare 38000
HARD_MAX 3 opts->mipi_dphy.clk_settle 95000
HARD_MAX 3 opts->mipi_dphy.clk_trail 60000
HARD_MAX 3 opts->mipi_dphy.hs_exit 100000
HARD_MAX 3 opts->mipi_dphy.hs_skip 40000
HARD_MAX 3 opts->mipi_dphy.init 100
HARD_MAX 3 opts->mipi_dphy.lpx 50000
HARD_MAX 3 opts->mipi_dphy.ta_get 250000
HARD_MAX 3 opts->mipi_dphy.ta_go 200000
HARD_MAX 3 opts->mipi_dphy.ta_sure 50000
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &phy->mutex
TYPE_LOCK (struct phy)->mutex