Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/platform/x86/amd/hsmp/hwmon.c hsmp_hwmon_read() -> hsmp_send_message()

Type Parameter Key Value
PARAM_VALUE 0 msg 7979678782876258304
PARAM_VALUE 0 msg->msg_id 4,6-7
PARAM_VALUE 0 msg->num_args 0
PARAM_VALUE 0 msg->response_sz 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/platform/x86/amd/hsmp/hwmon.c hsmp_hwmon_write() -> hsmp_send_message()

Type Parameter Key Value
PARAM_VALUE 0 msg 4600680786427486208
PARAM_VALUE 0 msg->msg_id 5
PARAM_VALUE 0 msg->num_args 1
PARAM_VALUE 0 msg->response_sz 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/platform/x86/amd/hsmp/hsmp.c hsmp_ioctl_msg() -> hsmp_send_message()

Type Parameter Key Value
PARAM_VALUE 0 msg 7540206931311525888
PARAM_VALUE 0 msg->msg_id 0-60
NOSPEC 0 msg->msg_id
USER_DATA 0 msg->msg_id 0-60[c]
USER_DATA 0 msg->num_args 0-u16max
USER_DATA 0 msg->response_sz 0-u16max
USER_DATA 0 msg->sock_ind 0-u16max
USER_PTR 0 msg->args

drivers/platform/x86/amd/hsmp/hsmp.c hsmp_msg_get_nargs() -> hsmp_send_message()

Type Parameter Key Value
PARAM_VALUE 0 msg 565024886527811584
PARAM_VALUE 0 msg->num_args 0
PARAM_VALUE 0 msg->response_sz 1-2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex