Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/ccp/psp-dev.c psp_dev_destroy() -> (struct sp_device)->clear_psp_master_device()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 0 sp->clear_psp_master_device 1-u64max
PARAM_VALUE 0 sp->dev_vdata 4096-ptr_max
PARAM_VALUE 0 sp->dev_vdata->psp_vdata 1-u64max
PARAM_VALUE 0 sp->irq_registered 0
PARAM_VALUE 0 sp->psp_data 4096-ptr_max
PARAM_VALUE 0 sp->psp_irq_data 0
PARAM_VALUE 0 sp->psp_irq_handler 0
BUF_SIZE 0 sp s32min-(-2),1-s32max
BUF_SIZE 0 sp s32min-(-2),1-s32max
CAPPED_DATA 0 sp 1
DATA_SOURCE 0 sp $0
CONTAINER 0 -112+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/crypto/ccp/psp-dev.c psp_dev_init() -> (struct sp_device)->clear_psp_master_device()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 0 sp->clear_psp_master_device 1-u64max
PARAM_VALUE 0 sp->dev 4096-ptr_max
PARAM_VALUE 0 sp->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 sp->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 sp->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sp->dev_specific 4096-ptr_max
PARAM_VALUE 0 sp->dev_vdata 4096-ptr_max
PARAM_VALUE 0 sp->dev_vdata->ccp_vdata->version 196608,327680
PARAM_VALUE 0 sp->dev_vdata->psp_vdata 4096-ptr_max
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->cmdbuff_addr_hi_reg 0,66892,67916
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->cmdbuff_addr_lo_reg 0,66888,67912
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->cmdresp_reg 0,66884,67908
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->platform_features 0,2-3
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->sev 0,4096-ptr_max
PARAM_VALUE 0 sp->dev_vdata->psp_vdata->tee 0,4096-ptr_max
PARAM_VALUE 0 sp->entry.next 4096-ptr_max
PARAM_VALUE 0 sp->io_map 1-u64max
PARAM_VALUE 0 sp->name 0
PARAM_VALUE 0 sp->psp_data 4096-ptr_max
PARAM_VALUE 0 *sp->name 0-127
BUF_SIZE 0 sp 184
BUF_SIZE 0 sp->dev 1616
BUF_SIZE 0 sp->dev_specific 8,20
BUF_SIZE 0 sp->psp_data 280
DATA_SOURCE 0 sp $0
CONTAINER 0 -112+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL