Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/dell/alienware-wmi-wmax.c awcc_hwmon_fans_init() -> awcc_op_get_resource_id()

Type Parameter Key Value
PARAM_VALUE 0 wdev 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 wdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 1 index 0-254
PARAM_VALUE 2 out 4702967870532722688
CAPPED_DATA 0 wdev->dev.driver_data->temp_count 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 wdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 index unit_array_size

drivers/platform/x86/dell/alienware-wmi-wmax.c awcc_hwmon_temps_init() -> awcc_op_get_resource_id()

Type Parameter Key Value
PARAM_VALUE 0 wdev 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 wdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 2 out 3037293926451056640
DATA_SOURCE 0 wdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/dell/alienware-wmi-wmax.c awcc_platform_profile_probe() -> awcc_op_get_resource_id()

Type Parameter Key Value
PARAM_VALUE 2 out 2930877740024393728
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &policy->rwsem