Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/amd/pmf/tee-if.c amd_pmf_update_bios_output() -> amd_pmf_smartpc_apply_bios_output()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cbi_buf.tail 0-63
PARAM_VALUE 0 dev->dev 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dev->regbase 4096-ptr_max
PARAM_VALUE 0 dev->tee_ctx 4096-ptr_max
PARAM_VALUE 0 dev->tee_ctx->teedev 4096-ptr_max
PARAM_VALUE 0 *dev->bios_output 0-4294967295
PARAM_VALUE 0 *dev->cb_prev.custom_bios_inputs 0-4294967295
PARAM_VALUE 3 idx 0-9
BUF_SIZE 0 dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,7472,8064
BUF_SIZE 0 dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,7472,8064
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 idx r amd_pmf_get_bios_output_idx
MEM_ZERO 0 dev->buf
MEM_ZERO 0 dev->shbuf
HOST_DATA 0 dev->dram_addr.hi 0-u32max
HOST_DATA 0 dev->dram_addr.size 0-u32max
UNITS 3 idx unit_array_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock