Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/core-card.c fw_core_add_descriptor() -> required_space()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->length 0-s32max
CAPPED_DATA 0 desc->length 1
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->length
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 desc->immediate 0-u32max
USER_DATA 0 desc->key 0-u32max
USER_DATA 0 desc->length 0-256[c]
USER_PTR 0 desc->data
LOCK2 _T->lock

drivers/firewire/core-card.c fw_core_add_descriptor() -> required_space()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->length 0-s32max
CAPPED_DATA 0 desc->length 1
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->length
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 desc->immediate 0-u32max
USER_DATA 0 desc->key 0-u32max
USER_DATA 0 desc->length 0-256[c]
USER_PTR 0 desc->data
LOCK2 _T->lock

drivers/firewire/core-card.c fw_core_remove_descriptor() -> required_space()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->length
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 desc->immediate 0-u32max
USER_DATA 0 desc->key 0-u32max
USER_DATA 0 desc->length 0-256[c]
USER_PTR 0 desc->data
LOCK2 _T->lock