Defined in 3 files as a member:

Defined in 1 files as a function:

Referenced in 22 files:

Smatch caller information:

drivers/firewire/core-cdev.c ioctl_send_broadcast_request() -> init_request()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->device 4096-ptr_max
PARAM_VALUE 0 client->device->state.counter s32min-2,4-s32max
PARAM_VALUE 1 request 4096-ptr_max
PARAM_VALUE 1 request->offset 281474708277248-u64max
PARAM_VALUE 1 request->tcode 0-1
PARAM_VALUE 2 destination_id u16max
PARAM_VALUE 3 speed 0
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 1 request 40
DATA_SOURCE 0 client $0
FUZZY_MAX 1 request->offset 281474708277248
USER_DATA 1 request->closure 0-u64max
USER_DATA 1 request->data 0-u64max
USER_DATA 1 request->generation 0-u32max
USER_DATA 1 request->length 0-u32max
USER_DATA 1 request->offset 281474708277248-u64max
USER_DATA 1 request->tcode 0-1

drivers/firewire/core-cdev.c ioctl_send_request() -> init_request()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->device 4096-ptr_max
PARAM_VALUE 0 client->device->state.counter s32min-2,4-s32max
PARAM_VALUE 1 request->tcode 0-1,4-5,17-23
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 0 client s32min-(-2),1-s32max
DATA_SOURCE 0 client $0
USER_DATA 1 request->closure 0-u64max
USER_DATA 1 request->data 0-u64max
USER_DATA 1 request->generation 0-u32max
USER_DATA 1 request->length 0-u32max
USER_DATA 1 request->offset 0-u64max
USER_DATA 1 request->tcode 0-1,4-5,17-23

drivers/firewire/core-cdev.c ioctl_send_stream_packet() -> init_request()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->device 4096-ptr_max
PARAM_VALUE 0 client->device->card 4096-ptr_max
PARAM_VALUE 0 client->device->state.counter s32min-2,4-s32max
PARAM_VALUE 1 request 3833257453909446656
PARAM_VALUE 1 request->tcode 10
PARAM_VALUE 2 destination_id 0-u16max
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 0 client s32min-(-2),1-s32max
CAPPED_DATA 3 speed 1
DATA_SOURCE 0 client $0
DATA_SOURCE 2 destination_id r fw_stream_packet_destination_id
PARAM_COMPARE 3 speed <= $0->device->card->link_speed
USER_DATA 1 request->closure 0-u64max
USER_DATA 1 request->data 0-u64max
USER_DATA 1 request->generation 0-u32max
USER_DATA 1 request->length 0-s32max[c]
USER_DATA 2 destination_id 0-u16max[c]
USER_DATA 3 speed 1-s32max[c]