Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/mmp/hw/mmp_ctrl.c path_init() -> path_set_default()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->access_ok.dep_map->name 0-255
PARAM_VALUE 0 path->access_ok.first_waiter 0
PARAM_VALUE 0 path->access_ok.magic 4096-ptr_max
PARAM_VALUE 0 path->access_ok.osq.tail.counter 0
PARAM_VALUE 0 path->access_ok.owner.counter 0
PARAM_VALUE 0 path->dev 4096-ptr_max
PARAM_VALUE 0 path->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 path->dev->class 0,4096-ptr_max
PARAM_VALUE 0 path->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 path->id 0-s32max
PARAM_VALUE 0 path->node.next 1810072209290285056
PARAM_VALUE 0 path->node.prev 4096-ptr_max
PARAM_VALUE 0 path->ops.check_status 1-u64max
PARAM_VALUE 0 path->ops.get_modelist 1-u64max
PARAM_VALUE 0 path->ops.get_overlay 1-u64max
PARAM_VALUE 0 path->ops.set_mode 1637819074262982656
PARAM_VALUE 0 path->plat_data 4096-ptr_max
BUF_SIZE 0 path s32min-s32max
CAPPED_DATA 0 path->id 1
CAPPED_DATA 0 path->overlay_num 1
DATA_SOURCE 0 path r mmp_register_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 path->id