Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/tpm2-sessions.c tpm2_create_primary() -> tpm2_parse_create_primary()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev.driver_data->locality_count 0-4294967295
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->ops->clk_enable 0,8238000303417774080
PARAM_VALUE 0 chip->ops->cmd_ready 0,4096-ptr_max
PARAM_VALUE 0 chip->ops->flags 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 *chip->auth->name_h 0-4294967295
PARAM_VALUE 1 buf 8979946474034294784
PARAM_VALUE 1 buf->data 18379471554275704832,18446612682070032384
PARAM_VALUE 1 buf->handles 0
PARAM_VALUE 2 handle 4053254133030117376,7044082706661318656
PARAM_VALUE 3 hierarchy 1073741831
BUF_SIZE 4 name 34
BUF_SIZE 4 name 34
DATA_SOURCE 0 chip $0
DATA_SOURCE 2 handle $2
DATA_SOURCE 3 hierarchy $1
DATA_SOURCE 4 name $3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 chip->nr_commands
HALF_LOCKED2 0 &chip->ops_sem
HALF_LOCKED2 0 &chip->tpm_mutex