Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/crypto/ccp/psp-dev.c psp_dev_destroy() -> sev_dev_destroy()

Type Parameter Key Value
PARAM_VALUE 0 psp 4096-ptr_max
PARAM_VALUE 0 psp->dbc_data 0
PARAM_VALUE 0 psp->dbc_data->char_dev.minor s32min-255
PARAM_VALUE 0 psp->dbc_data->ioctl_mutex.magic 0
PARAM_VALUE 0 psp->platform_access_data 0
PARAM_VALUE 0 psp->sfs_data 0
PARAM_VALUE 0 psp->tee_data 0,4096-ptr_max
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.dep_map->name 0-255
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 psp->tee_data->psp->mailbox_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 psp->tee_data->psp->vdata->cmdbuff_addr_hi_reg 0,66892,67916
PARAM_VALUE 0 psp->tee_data->psp->vdata->cmdbuff_addr_lo_reg 0,66888,67912
PARAM_VALUE 0 psp->tee_data->psp->vdata->cmdresp_reg 0,66884,67908
PARAM_VALUE 0 psp->tee_data->rb_mgr.mutex.magic 0
PARAM_VALUE 0 psp->tee_data->rb_mgr.ring_pa 0
PARAM_VALUE 0 psp->tee_data->rb_mgr.ring_size 0
PARAM_VALUE 0 psp->tee_data->rb_mgr.ring_start 0
BUF_SIZE 0 psp 280
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/crypto/ccp/sev-dev.c sev_pci_init() -> sev_dev_destroy()

Type Parameter Key Value
PARAM_VALUE 0 psp 4096-ptr_max
PARAM_VALUE 0 psp->sev_data 1-u64max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 _T->lock