Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/st.c check_tape() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer->cmdstat.deferred 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.fixed_format 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.flags 0-224
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.remainder_valid 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.uremainder64 0-255
PARAM_VALUE 0 STp->default_drvbuffer 0-254
PARAM_VALUE 0 STp->device->host 4096-ptr_max
PARAM_VALUE 0 STp->device->host->shost_state 0-4,8-u32max
PARAM_VALUE 0 STp->device->request_queue 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_state 0-3,5,8-u32max
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd_in 24
PARAM_VALUE 2 arg 0-254
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
DATA_SOURCE 0 STp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 STp->block_size 1-16777215[c]
USER_DATA 0 STp->buffer->map_data.offset 0-4095[c]
USER_DATA 0 STp->drv_buffer 0-7[c]
USER_DATA 0 STp->write_prot 0-1
NO_OVERFLOW_SIMPLE 0 STp->buffer->buffer_size
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c flush_buffer() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->block_size s32min-(-1),1-s32max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 1 cmd_in 4
PARAM_VALUE 2 arg 1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
DATA_SOURCE 0 STp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c read_tape() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->block_size s32min-(-1),1-s32max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->buffer->b_data 0,4096-ptr_max
PARAM_VALUE 0 STp->buffer->buffer_bytes 0
PARAM_VALUE 0 STp->buffer->cleared 1
PARAM_VALUE 0 STp->buffer->cmdstat.deferred 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.fixed_format 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.flags 32-224
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 1
PARAM_VALUE 0 STp->buffer->cmdstat.remainder_valid 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.additional_length 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.asc 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.ascq 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.byte4 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.byte5 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.byte6 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.response_code 0-127
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.sense_key 0-15
PARAM_VALUE 0 STp->buffer->cmdstat.uremainder64 0-255
PARAM_VALUE 0 STp->buffer->do_dio 0
PARAM_VALUE 0 STp->buffer->map_data.offset 0
PARAM_VALUE 0 STp->buffer->mapped_pages 0,16,4096-ptr_max
PARAM_VALUE 0 STp->buffer->read_pointer 0
PARAM_VALUE 0 STp->buffer->reserved_page_order 0-s32max
PARAM_VALUE 0 STp->buffer->sg_segs 0
PARAM_VALUE 0 STp->buffer->syscall_result (-16),(-4)
PARAM_VALUE 0 STp->device 4096-ptr_max
PARAM_VALUE 0 STp->device->changed 1
PARAM_VALUE 0 STp->device->host 4096-ptr_max
PARAM_VALUE 0 STp->device->host->shost_state 0-4,8-u32max
PARAM_VALUE 0 STp->device->request_queue 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_state 0-3,5,8-u32max
PARAM_VALUE 0 STp->lock.dep_map->name 0-255
PARAM_VALUE 0 STp->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 STp->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->wait.done 0-4294967293,u32max
PARAM_VALUE 0 STp->wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 STp->wait.wait.lock.owner (-1)
PARAM_VALUE 0 STp->wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 STp->wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 *STp->buffer->reserved_pages 1-u64max
PARAM_VALUE 1 cmd_in 4
PARAM_VALUE 2 arg 1
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
DATA_SOURCE 0 STp $0
NOCHECK_CALL
USER_DATA 0 STp->buffer->buffer_blocks (-1000000000)-1000000000[c]
USER_DATA 0 STp->buffer->buffer_bytes 0[c]
USER_DATA 0 STp->buffer->map_data.offset 0[c]
LOCK2 0 &STp->lock
TYPE_LOCK (struct scsi_tape)->lock

drivers/scsi/st.c read_tape() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->block_size s32min-(-1),1-s32max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->buffer->b_data 0,4096-ptr_max
PARAM_VALUE 0 STp->buffer->cleared 1
PARAM_VALUE 0 STp->buffer->cmdstat.deferred 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.fixed_format 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.flags 32-224
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 1
PARAM_VALUE 0 STp->buffer->cmdstat.remainder_valid 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.additional_length 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.asc 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.ascq 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.byte4 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.byte5 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.byte6 0
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.response_code 0-127
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.sense_key 0-15
PARAM_VALUE 0 STp->buffer->cmdstat.uremainder64 0-255
PARAM_VALUE 0 STp->buffer->do_dio 0
PARAM_VALUE 0 STp->buffer->map_data.offset 0
PARAM_VALUE 0 STp->buffer->mapped_pages 0,16,4096-ptr_max
PARAM_VALUE 0 STp->buffer->read_pointer 0
PARAM_VALUE 0 STp->buffer->reserved_page_order 0-s32max
PARAM_VALUE 0 STp->buffer->sg_segs 0
PARAM_VALUE 0 STp->buffer->syscall_result (-16),(-4)
PARAM_VALUE 0 STp->device 4096-ptr_max
PARAM_VALUE 0 STp->device->changed 1
PARAM_VALUE 0 STp->device->host 4096-ptr_max
PARAM_VALUE 0 STp->device->host->shost_state 0-4,8-u32max
PARAM_VALUE 0 STp->device->request_queue 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_state 0-3,5,8-u32max
PARAM_VALUE 0 STp->lock.dep_map->name 0-255
PARAM_VALUE 0 STp->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 STp->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->wait.done 0-4294967293,u32max
PARAM_VALUE 0 STp->wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 STp->wait.wait.lock.owner (-1)
PARAM_VALUE 0 STp->wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 STp->wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 *STp->buffer->reserved_pages 1-u64max
PARAM_VALUE 1 cmd_in 4
PARAM_VALUE 2 arg 1
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
DATA_SOURCE 0 STp $0
USER_DATA 0 STp->buffer->buffer_blocks (-1000000000)-1000000000[c]
USER_DATA 0 STp->buffer->buffer_bytes 0[c]
USER_DATA 0 STp->buffer->map_data.offset 0[c]
LOCK2 0 &STp->lock
TYPE_LOCK (struct scsi_tape)->lock

drivers/scsi/st.c set_mode_densblk() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer->cmdstat.deferred 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.fixed_format 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.flags 0-224
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.remainder_valid 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.uremainder64 0-255
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 1 cmd_in 65537
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
DATA_SOURCE 0 STp $0
BIT_INFO 2 arg 0x0,0xffffffff
BIT_INFO 2 arg 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 STp->buffer->map_data.offset 0-4095[c]
USER_DATA 0 STp->write_prot 0-1
USER_DATA 2 arg 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 STp->buffer->buffer_size
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c st_flush() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->rew_at_close 1-255
PARAM_VALUE 1 cmd_in 6
PARAM_VALUE 2 arg 1
BUF_SIZE 0 STp s32min-(-2),1-s32max
BUF_SIZE 0 STp s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/st.c st_int_ioctl() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->fast_mteom 0
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 1 cmd_in 1
PARAM_VALUE 2 arg 8388607
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
DATA_SOURCE 0 STp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 STp->buffer->buffer_blocks (-1000000000)-1000000000[c]
USER_DATA 0 STp->buffer->buffer_bytes s32min-s32max[c]
USER_DATA 0 STp->buffer->map_data.offset 0-4095[c]
USER_DATA 0 STp->changed_blksize s32min-s32max
USER_DATA 0 STp->changed_density 0-255
USER_DATA 0 STp->default_drvbuffer 0-6[c]
USER_DATA 0 STp->write_prot 0-1
NO_OVERFLOW_SIMPLE 0 STp->buffer->buffer_size
UNITS 0 STp unit_byte
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c st_int_ioctl() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 0-1
PARAM_VALUE 0 STp->buffer->syscall_result 0
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 0 STp->wait.done 0-4294967293,u32max
PARAM_VALUE 0 STp->wait.wait.lock.owner (-1)
PARAM_VALUE 0 STp->wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 STp->wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 STp->write_prot 0
PARAM_VALUE 1 cmd_in 1
PARAM_VALUE 2 arg 1
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
DATA_SOURCE 0 STp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 STp->buffer->buffer_blocks (-1000000000)-1000000000[c]
USER_DATA 0 STp->buffer->buffer_bytes s32min-s32max[c]
USER_DATA 0 STp->buffer->map_data.offset 0-4095[c]
USER_DATA 0 STp->changed_blksize s32min-s32max
USER_DATA 0 STp->changed_density 0-255
USER_DATA 0 STp->default_drvbuffer 0-6[c]
USER_DATA 0 STp->write_prot 0
NO_OVERFLOW_SIMPLE 0 STp->buffer->buffer_size
UNITS 0 STp unit_byte
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c st_int_ioctl() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 0-1
PARAM_VALUE 0 STp->buffer->syscall_result 0
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 0 STp->wait.done 0-4294967293,u32max
PARAM_VALUE 0 STp->wait.wait.lock.owner (-1)
PARAM_VALUE 0 STp->wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 STp->wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 STp->write_prot 0
PARAM_VALUE 1 cmd_in 2
PARAM_VALUE 2 arg 1
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
DATA_SOURCE 0 STp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 STp->buffer->buffer_blocks (-1000000000)-1000000000[c]
USER_DATA 0 STp->buffer->buffer_bytes s32min-s32max[c]
USER_DATA 0 STp->buffer->map_data.offset 0-4095[c]
USER_DATA 0 STp->changed_blksize s32min-s32max
USER_DATA 0 STp->changed_density 0-255
USER_DATA 0 STp->default_drvbuffer 0-6[c]
USER_DATA 0 STp->write_prot 0
NO_OVERFLOW_SIMPLE 0 STp->buffer->buffer_size
UNITS 0 STp unit_byte
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c st_int_ioctl() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->buffer 4096-ptr_max
PARAM_VALUE 0 STp->buffer->cmdstat.have_sense 0-1
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.asc 36
PARAM_VALUE 0 STp->buffer->cmdstat.sense_hdr.sense_key 5
PARAM_VALUE 0 STp->buffer->syscall_result 0
PARAM_VALUE 0 STp->device 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue 4096-ptr_max
PARAM_VALUE 0 STp->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->device->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 STp->dirty 0
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ps 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 0 STp->wait.done 0-4294967293,u32max
PARAM_VALUE 0 STp->wait.wait.lock.owner (-1)
PARAM_VALUE 0 STp->wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 STp->wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 STp->wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd_in 20-21,24,65537
BUF_SIZE 0 STp s32min-(-1),1-s32max
BUF_SIZE 0 STp s32min-(-1),1-s32max
DATA_SOURCE 0 STp $0
DATA_SOURCE 1 cmd_in $1
DATA_SOURCE 2 arg $2
FUZZY_MAX 1 cmd_in 65537
BIT_INFO 0 STp->use_pf 0x2,0xff
BIT_INFO 1 cmd_in 0x0,0x1001d
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 STp->buffer->map_data.offset 0-4095[c]
USER_DATA 0 STp->changed_blksize 0-s32max[c]
USER_DATA 0 STp->changed_density 0-255[c]
USER_DATA 0 STp->default_drvbuffer 0-6[c]
USER_DATA 0 STp->write_prot 0-1
USER_DATA 2 arg 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 STp->buffer->buffer_size
HALF_LOCKED2 0 &STp->lock

drivers/scsi/st.c st_set_options() -> st_int_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 STp 4096-ptr_max
PARAM_VALUE 0 STp->default_drvbuffer 0-6
PARAM_VALUE 0 STp->modes 4096-ptr_max
PARAM_VALUE 0 STp->ready 0
PARAM_VALUE 1 cmd_in 24
PARAM_VALUE 2 arg 0-6
DATA_SOURCE 0 STp $0
NOCHECK_CALL