Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/tpm/tpm-buf.c tpm_buf_read_u16() -> tpm_buf_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| PARAM_VALUE | 0 | buf->data | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | buf->handles | 0 |
| PARAM_VALUE | 1 | offset | 686291506764890112,3106726931405369344,4093013569735417856,4276317392986447872,5083582688878460928,5420622307546169344,7863513802955812864,8087912076441518080 |
| PARAM_VALUE | 2 | count | 2 |
| PARAM_VALUE | 3 | output | 5382874975356792832 |
| PARAM_VALUE | 3 | *output | 0 |
| BUF_SIZE | 3 | output | 2 |
| DATA_SOURCE | 0 | buf | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | count | unit_byte |
| HALF_LOCKED2 | &chip->ops_sem | ||
| HALF_LOCKED2 | &chip->tpm_mutex |
drivers/char/tpm/tpm-buf.c tpm_buf_read_u32() -> tpm_buf_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 1289353834079596544,2500137228463173632,3238085801097465856,3454032230291607552,4267813598517657600,4765448974262747136,8979946474034294784 |
| PARAM_VALUE | 0 | buf->data | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | buf->handles | 0 |
| PARAM_VALUE | 1 | offset | 686291506764890112,988345016574373888,3106726931405369344,4093013569735417856,4276317392986447872,5420622307546169344 |
| PARAM_VALUE | 1 | *offset | s64min-9223372036854775806 |
| PARAM_VALUE | 2 | count | 4 |
| PARAM_VALUE | 3 | output | 5204225409649565696 |
| PARAM_VALUE | 3 | *output | 0 |
| BUF_SIZE | 3 | output | 4 |
| DATA_SOURCE | 0 | buf | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | count | unit_byte |
| HALF_LOCKED2 | &chip->ops_sem | ||
| HALF_LOCKED2 | &chip->tpm_mutex |
drivers/char/tpm/tpm-buf.c tpm_buf_read_u8() -> tpm_buf_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 1289353834079596544,2500137228463173632,3454032230291607552,4267813598517657600,4765448974262747136 |
| PARAM_VALUE | 0 | buf->data | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | buf->handles | 0 |
| PARAM_VALUE | 1 | offset | 4093013569735417856,5420622307546169344 |
| PARAM_VALUE | 2 | count | 1 |
| PARAM_VALUE | 3 | output | 838830645637947392 |
| PARAM_VALUE | 3 | *output | 0 |
| DATA_SOURCE | 0 | buf | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | count | unit_byte |
| LOCK2 | &chip->ops_sem | ||
| LOCK2 | &chip->tpm_mutex | ||
| TYPE_LOCK | (struct tpm_chip)->ops_sem | ||
| TYPE_LOCK | (struct tpm_chip)->tpm_mutex |