Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hwmon/macsmc-hwmon.c macsmc_hwmon_write_key() -> macsmc_hwmon_write_f32()

Type Parameter Key Value
PARAM_VALUE 0 smc->atomic_mode 0
PARAM_VALUE 0 smc->boot_stage 1
PARAM_VALUE 0 smc->cmd_done.done 0-4294967293,u32max
PARAM_VALUE 0 smc->msg_id 0-15
PARAM_VALUE 0 smc->rtk->mbox->tx_empty.done 0-4294967295
PARAM_VALUE 0 smc->rtk->mbox->tx_empty.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 smc->rtk->mbox->tx_empty.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 *smc->rtk->mbox->tx_empty.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 key 0-s32max
CAPPED_DATA 2 value 1
CAPPED_DATA 2 value 1
DATA_SOURCE 0 smc $0
DATA_SOURCE 2 value $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 value s64min-s64max[c]
NO_OVERFLOW_SIMPLE 2 value
UNITS 0 smc unit_byte
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex