Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_mode_object.c __drm_object_property_get_value() -> __drm_object_property_get_prop_value()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 property 4096-ptr_max
PARAM_VALUE 2 val 4096-ptr_max
DATA_SOURCE 0 obj $0
DATA_SOURCE 1 property $1
DATA_SOURCE 2 val $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 obj->id 0-u32max[c]

drivers/gpu/drm/drm_mode_object.c drm_object_immutable_property_get_value() -> __drm_object_property_get_prop_value()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 property 4096-ptr_max
PARAM_VALUE 2 val 8225171418268405760
DATA_SOURCE 0 obj $0
DATA_SOURCE 1 property $1
DATA_SOURCE 2 val $2
BIT_INFO 1 property->flags 0x4,0xffffffff

drivers/gpu/drm/drm_mode_object.c drm_object_property_get_default_value() -> __drm_object_property_get_prop_value()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 property 4096-ptr_max
PARAM_VALUE 2 val 1161220807079555072,1272195475162353664,3157870972467609600,3852824400550756352,4131138074946781184,4612638103512629248,7850554315997220864,8403751447204769792
BUF_SIZE 1 property (-1),120
BUF_SIZE 1 property (-1),120
DATA_SOURCE 0 obj $0
DATA_SOURCE 1 property $1
DATA_SOURCE 2 val $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 property->num_values