Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/devlink/health.c devlink_fmsg_bool_put() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
PARAM_VALUE 0 fmsg->err (-90),(-22),(-12),0
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg 4,7,9,12,16,25
STR_LEN 0 fmsg 4,7,9,12,16,25
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &tracer->st_arr.lock

net/devlink/health.c devlink_fmsg_nest_end() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
BUF_SIZE 0 fmsg (-1),24
BUF_SIZE 0 fmsg (-1),24
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg (-1),2-18,20,22-23,25-28,30-31
STR_LEN 0 fmsg (-1),2-18,20,22-23,25-28,30-31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock

net/devlink/health.c devlink_fmsg_obj_nest_start() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
BUF_SIZE 0 fmsg (-1),24
BUF_SIZE 0 fmsg (-1),24
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg (-1),2-3,5,7-10,12-14
STR_LEN 0 fmsg (-1),2-3,5,7-10,12-14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &tracer->st_arr.lock

net/devlink/health.c devlink_fmsg_pair_nest_start() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
BUF_SIZE 0 fmsg (-1),24
BUF_SIZE 0 fmsg (-1),24
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg (-1),2-18,20-23,25-28,30-31
STR_LEN 0 fmsg (-1),2-18,20-23,25-28,30-31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock

net/devlink/health.c devlink_fmsg_put_name() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg (-1),2-18,20-23,25-28,30-31
STR_LEN 0 fmsg (-1),2-18,20-23,25-28,30-31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock

net/devlink/health.c devlink_fmsg_string_put() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
PARAM_VALUE 0 fmsg->err (-90),(-22),(-12),0
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg 2-4,6-20,23-30,32
STR_LEN 0 fmsg 2-4,6-20,23-30,32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock

net/devlink/health.c devlink_fmsg_u32_put() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
PARAM_VALUE 0 fmsg->err (-90),(-22),(-12),0
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg (-1),2-16,18,20,22,26,30-31
STR_LEN 0 fmsg (-1),2-16,18,20,22,26,30-31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock

net/devlink/health.c devlink_fmsg_u64_put() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
PARAM_VALUE 0 fmsg->err (-90),(-22),(-12),0
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg 6,8-9,11,23,25,27-28
STR_LEN 0 fmsg 6,8-9,11,23,25,27-28
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &tracer->st_arr.lock

net/devlink/health.c devlink_fmsg_u8_put() -> devlink_fmsg_err_if_binary()

Type Parameter Key Value
PARAM_VALUE 0 fmsg 4096-ptr_max
PARAM_VALUE 0 fmsg->err (-90),(-22),(-12),0
DATA_SOURCE 0 fmsg $0
STR_LEN 0 fmsg 2-12,14,23
STR_LEN 0 fmsg 2-12,14,23
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &tracer->st_arr.lock