Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/ccp/sev-dev-tio.c sev_tio_dev_create() -> sla_alloc()

Type Parameter Key Value
PARAM_VALUE 1 firmware_state 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/crypto/ccp/sev-dev-tio.c sla_expand() -> sla_alloc()

Type Parameter Key Value
PARAM_VALUE 0 len 0-u32max
PARAM_VALUE 1 firmware_state 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 len unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/crypto/ccp/sev-dev-tio.c spdm_ctrl_alloc() -> sla_alloc()

Type Parameter Key Value
PARAM_VALUE 1 firmware_state 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 len unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/crypto/ccp/sev-dev-tio.c spdm_ctrl_alloc() -> sla_alloc()

Type Parameter Key Value
PARAM_VALUE 1 firmware_state 0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 len unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/crypto/ccp/sev-dev-tio.c spdm_ctrl_alloc() -> sla_alloc()

Type Parameter Key Value
PARAM_VALUE 0 len 0-u32max
PARAM_VALUE 1 firmware_state 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/crypto/ccp/sev-dev-tio.c spdm_ctrl_alloc() -> sla_alloc()

Type Parameter Key Value
PARAM_VALUE 0 len 0-u32max
PARAM_VALUE 1 firmware_state 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex