Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->capacity_sz 4096-2101248
CAPPED_DATA 1 buf->capacity_sz 1
DATA_SOURCE 1 buf r sla_buffer_map
BIT_INFO 1 buf->capacity_sz 0x0,0x3ff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex

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

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
CAPPED_DATA 1 buf->capacity_sz 1
DATA_SOURCE 1 buf r sla_buffer_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 1 buf 1-u64max
DATA_SOURCE 0 sla r sla_alloc
DATA_SOURCE 1 buf r sla_buffer_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/crypto/ccp/sev-dev-tio.c spdm_ctrl_free() -> sla_buffer_unmap()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex

drivers/crypto/ccp/sev-dev-tio.c spdm_ctrl_free() -> sla_buffer_unmap()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex