Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/sed-opal.c add_token_bytestring() -> add_bytestring_header()

Type Parameter Key Value
PARAM_VALUE 0 err 1768564871375634432,2309169575240384512,2403400630916698112,2543923311080988672,6228089738695458816,7364185631022759936,7778380771779555328
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd 4096-ptr_max
PARAM_VALUE 1 cmd->dev_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 cmd->dev_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 cmd->dev_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 cmd->dev_lock.wait_lock.owner (-1)
PARAM_VALUE 1 cmd->dev_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 cmd->parsed.toks->len 1-16777219
PARAM_VALUE 1 cmd->parsed.toks->type 224-227
PARAM_VALUE 1 cmd->parsed.toks->width 0-4
BUF_SIZE 1 cmd->cmd (-1),2048
BUF_SIZE 1 cmd->data (-1),1768
BUF_SIZE 1 cmd->resp (-1),2048
DATA_SOURCE 0 err $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 len $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 0-255[u]
UNITS 2 len unit_byte
LOCK2 1 &cmd->dev_lock
TYPE_LOCK (struct opal_dev)->dev_lock

block/sed-opal.c generic_table_write_data() -> add_bytestring_header()

Type Parameter Key Value
PARAM_VALUE 0 err 314779856063705088
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd 4096-ptr_max
PARAM_VALUE 1 cmd->data->admin_q->dev->power.deferred_resume 0-1
PARAM_VALUE 1 cmd->data->admin_q->dev->power.idle_notification 0-1
PARAM_VALUE 1 cmd->data->admin_q->dev->power.request 0-4294967295
PARAM_VALUE 1 cmd->data->admin_q->dev->power.request_pending 0-1
PARAM_VALUE 1 cmd->data->admin_q->dev->power.runtime_error s32min-s32max
PARAM_VALUE 1 cmd->data->admin_q->dev->power.runtime_status s32min-s32max
PARAM_VALUE 1 cmd->data->admin_q->dev->power.timer_autosuspends 0-1
PARAM_VALUE 1 cmd->data->admin_q->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 1 cmd->data->admin_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.deferred_resume 0-1
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.idle_notification 0-1
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.request 0-4294967295
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.request_pending 0-1
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.runtime_error s32min-s32max
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.runtime_status s32min-s32max
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.timer_autosuspends 0-1
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 1 cmd->data->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 cmd->dev_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 cmd->dev_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 cmd->dev_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 cmd->dev_lock.wait_lock.owner (-1)
PARAM_VALUE 1 cmd->dev_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 cmd->parsed.num 0-s32max
PARAM_VALUE 1 cmd->parsed.toks->len 1-16777219
PARAM_VALUE 1 cmd->parsed.toks->type 224-227
PARAM_VALUE 1 cmd->parsed.toks->width 0-4
PARAM_VALUE 1 *cmd->data->admin_q->q_lockdep_map.name 0-255
BUF_SIZE 1 cmd->cmd (-1),2048
BUF_SIZE 1 cmd->data (-1),1768
BUF_SIZE 1 cmd->resp (-1),2048
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 cmd $0
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-2147483646[c]
LOCK2 1 &cmd->dev_lock
TYPE_LOCK (struct opal_dev)->dev_lock