Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hwmon/it87.c it87_init_device() -> it87_start_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->auto_pwm 4096-ptr_max
PARAM_VALUE 0 data->features 256-u32max
PARAM_VALUE 0 data->has_fan 0-63
PARAM_VALUE 0 data->pwm_duty 4096-ptr_max
PARAM_VALUE 0 data->pwm_temp_map 4096-ptr_max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 data->fan_main_ctrl 0-255
HOST_DATA 0 data->has_fan 0-63[c]
UNITS 0 data unit_byte

drivers/hwmon/it87.c it87_resume() -> it87_start_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->update_lock.dep_map->name 0-255
PARAM_VALUE 0 data->update_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 data->update_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 data->update_lock.osq.tail.counter 0-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 data unit_byte
LOCK2 0 &data->update_lock
TYPE_LOCK (struct it87_data)->update_lock