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]

Smatch assignments to (struct netfs_request_ops)->init_request:

fs/afs/file.c (null)() -> (struct netfs_request_ops)->init_request [4205842496184066048]

fs/nfs/fscache.c (null)() -> (struct netfs_request_ops)->init_request [3383743687444791296]

fs/9p/vfs_addr.c (null)() -> (struct netfs_request_ops)->init_request [3756291697984016384]

fs/smb/client/file.c (null)() -> (struct netfs_request_ops)->init_request [3750821255738515456]

fs/ceph/addr.c (null)() -> (struct netfs_request_ops)->init_request [7569165433126817792]