Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/firewire/core-cdev.c ioctl_add_descriptor() -> fw_core_remove_descriptor()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->length 0-256
PARAM_VALUE 0 desc->link.next 7357898181851201536
PARAM_VALUE 0 desc->link.prev 4096-ptr_max
NOSPEC 0 desc->length
NOCHECK_CALL
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

drivers/firewire/core-cdev.c release_descriptor() -> fw_core_remove_descriptor()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/firewire/net.c fwnet_cleanup() -> fw_core_remove_descriptor()

Type Parameter Key Value
PARAM_VALUE 0 desc 754961007993196544
NOCHECK_CALL

drivers/firewire/net.c fwnet_cleanup() -> fw_core_remove_descriptor()

Type Parameter Key Value
PARAM_VALUE 0 desc 4880435024424738816
NOCHECK_CALL

drivers/firewire/net.c fwnet_init() -> fw_core_remove_descriptor()

Type Parameter Key Value
PARAM_VALUE 0 desc 754961007993196544
PARAM_VALUE 0 desc->length 13
PARAM_VALUE 0 desc->link.next 7357898181851201536
PARAM_VALUE 0 desc->link.prev 4096-ptr_max
NOCHECK_CALL

drivers/firewire/net.c fwnet_init() -> fw_core_remove_descriptor()

Type Parameter Key Value
PARAM_VALUE 0 desc 4880435024424738816
PARAM_VALUE 0 desc->length 13
PARAM_VALUE 0 desc->link.next 7357898181851201536
PARAM_VALUE 0 desc->link.prev 4096-ptr_max
NOCHECK_CALL

drivers/target/sbp/sbp_target.c sbp_update_unit_directory() -> fw_core_remove_descriptor()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->data 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &frag->frag_sem