Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/core-cdev.c ioctl_allocate_iso_resource_once() -> init_iso_resource_once()

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 2 todo 0
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->bandwidth 0-u32max
USER_DATA 1 request->channels 0-u64max
USER_DATA 1 request->closure 0-u64max
USER_DATA 1 request->handle 0-u32max

drivers/firewire/core-cdev.c ioctl_deallocate_iso_resource_once() -> init_iso_resource_once()

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 2 todo 1
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->bandwidth 0-u32max
USER_DATA 1 request->channels 0-u64max
USER_DATA 1 request->closure 0-u64max
USER_DATA 1 request->handle 0-u32max