Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/khadas_mcu_fan.c khadas_mcu_fan_resume() -> khadas_mcu_fan_set_level()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ctx unit_byte

drivers/thermal/khadas_mcu_fan.c khadas_mcu_fan_set_cur_state() -> khadas_mcu_fan_set_level()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 level 0-3
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level $1
PARAM_COMPARE 0 ctx->level != $1
PARAM_COMPARE 1 level != $0->level
NOSPEC 1 level
NOSPEC 1 level
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 level 0-3[c]
NO_OVERFLOW_SIMPLE 1 level
UNITS 0 ctx unit_byte
LOCK2 &cdev->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct thermal_cooling_device)->lock

drivers/thermal/khadas_mcu_fan.c khadas_mcu_fan_shutdown() -> khadas_mcu_fan_set_level()

Type Parameter Key Value
PARAM_VALUE 1 level 0
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
LOCK2 &_dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex

drivers/thermal/khadas_mcu_fan.c khadas_mcu_fan_suspend() -> khadas_mcu_fan_set_level()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 level 0
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ctx unit_byte