Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/class/cdc-acm.c acm_probe() -> acm_write_buffers_alloc()

Type Parameter Key Value
PARAM_VALUE 0 acm 4096-ptr_max
PARAM_VALUE 0 acm->combined_interfaces 0-1
PARAM_VALUE 0 acm->control 4096-ptr_max
PARAM_VALUE 0 acm->ctrl_buffer 1-u64max
PARAM_VALUE 0 acm->ctrlsize 0-2047
PARAM_VALUE 0 acm->data 4096-ptr_max
PARAM_VALUE 0 acm->data->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 acm->delayed.poisoned 0
PARAM_VALUE 0 acm->delayed.suspend_wakeups.counter 0
PARAM_VALUE 0 acm->delayed.wait.head.next 4096-ptr_max
PARAM_VALUE 0 acm->delayed.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 acm->delayed.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 acm->delayed.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 acm->delayed.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 acm->in 0,128-u32max
PARAM_VALUE 0 acm->minor 0-s32max
PARAM_VALUE 0 acm->mutex.dep_map->name 0-255
PARAM_VALUE 0 acm->mutex.first_waiter 0
PARAM_VALUE 0 acm->mutex.magic 4096-ptr_max
PARAM_VALUE 0 acm->mutex.osq.tail.counter 0
PARAM_VALUE 0 acm->mutex.owner.counter 0
PARAM_VALUE 0 acm->out 0,1073741824-u32max
PARAM_VALUE 0 acm->port.blocked_open 0
PARAM_VALUE 0 acm->port.buf.flip_wq 0
PARAM_VALUE 0 acm->port.buf.free.first 0
PARAM_VALUE 0 acm->port.buf.head 256
PARAM_VALUE 0 acm->port.buf.head->commit 0
PARAM_VALUE 0 acm->port.buf.head->flags 1
PARAM_VALUE 0 acm->port.buf.head->lookahead 0
PARAM_VALUE 0 acm->port.buf.head->next 0
PARAM_VALUE 0 acm->port.buf.head->read 0
PARAM_VALUE 0 acm->port.buf.head->size 0
PARAM_VALUE 0 acm->port.buf.head->used 0
PARAM_VALUE 0 acm->port.buf.lock.dep_map->name 0-255
PARAM_VALUE 0 acm->port.buf.lock.first_waiter 0
PARAM_VALUE 0 acm->port.buf.lock.magic 4096-ptr_max
PARAM_VALUE 0 acm->port.buf.lock.osq.tail.counter 0
PARAM_VALUE 0 acm->port.buf.lock.owner.counter 0
PARAM_VALUE 0 acm->port.buf.mem_limit 655360
PARAM_VALUE 0 acm->port.buf.mem_used.counter 0
PARAM_VALUE 0 acm->port.buf.priority.counter 0
PARAM_VALUE 0 acm->port.buf.sentinel.commit 0
PARAM_VALUE 0 acm->port.buf.sentinel.flags 1
PARAM_VALUE 0 acm->port.buf.sentinel.free.next 0
PARAM_VALUE 0 acm->port.buf.sentinel.lookahead 0
PARAM_VALUE 0 acm->port.buf.sentinel.next 0
PARAM_VALUE 0 acm->port.buf.sentinel.read 0
PARAM_VALUE 0 acm->port.buf.sentinel.size 0
PARAM_VALUE 0 acm->port.buf.sentinel.used 0
PARAM_VALUE 0 acm->port.buf.tail 256
PARAM_VALUE 0 acm->port.buf.tail->commit 0
PARAM_VALUE 0 acm->port.buf.tail->flags 1
PARAM_VALUE 0 acm->port.buf.tail->lookahead 0
PARAM_VALUE 0 acm->port.buf.tail->next 0
PARAM_VALUE 0 acm->port.buf.tail->read 0
PARAM_VALUE 0 acm->port.buf.tail->size 0
PARAM_VALUE 0 acm->port.buf.tail->used 0
PARAM_VALUE 0 acm->port.buf.work.func 0
PARAM_VALUE 0 acm->port.buf_mutex.dep_map->name 0-255
PARAM_VALUE 0 acm->port.buf_mutex.first_waiter 0
PARAM_VALUE 0 acm->port.buf_mutex.magic 4096-ptr_max
PARAM_VALUE 0 acm->port.buf_mutex.osq.tail.counter 0
PARAM_VALUE 0 acm->port.buf_mutex.owner.counter 0
PARAM_VALUE 0 acm->port.client_data 0
PARAM_VALUE 0 acm->port.client_ops 6331571049099714560
PARAM_VALUE 0 acm->port.client_ops->lookahead_buf 0,5552213984272089088
PARAM_VALUE 0 acm->port.client_ops->receive_buf 0,2070410949742354432,5991726090128461824
PARAM_VALUE 0 acm->port.client_ops->write_wakeup 0,4180907491510067200,7004002109319299072
PARAM_VALUE 0 acm->port.close_delay 125
PARAM_VALUE 0 acm->port.closing_wait 7500
PARAM_VALUE 0 acm->port.console 0
PARAM_VALUE 0 acm->port.count 0
PARAM_VALUE 0 acm->port.delta_msr_wait.head.next 4096-ptr_max
PARAM_VALUE 0 acm->port.delta_msr_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 acm->port.delta_msr_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 acm->port.delta_msr_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 acm->port.delta_msr_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 acm->port.drain_delay 0
PARAM_VALUE 0 acm->port.flags 0
PARAM_VALUE 0 acm->port.iflags 0
PARAM_VALUE 0 acm->port.itty 0
PARAM_VALUE 0 acm->port.kref.refcount.refs.counter 1
PARAM_VALUE 0 acm->port.open_wait.head.next 4096-ptr_max
PARAM_VALUE 0 acm->port.open_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 acm->port.open_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 acm->port.open_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 acm->port.open_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 acm->port.ops 1759509706943574016
PARAM_VALUE 0 acm->port.tty 0
PARAM_VALUE 0 acm->port.xmit_buf 0
PARAM_VALUE 0 acm->port.xmit_fifo.const_type 0
PARAM_VALUE 0 acm->port.xmit_fifo.kfifo.data 0
PARAM_VALUE 0 acm->port.xmit_fifo.kfifo.esize 0
PARAM_VALUE 0 acm->port.xmit_fifo.kfifo.in 0
PARAM_VALUE 0 acm->port.xmit_fifo.kfifo.mask 0
PARAM_VALUE 0 acm->port.xmit_fifo.kfifo.out 0
PARAM_VALUE 0 acm->port.xmit_fifo.ptr 0
PARAM_VALUE 0 acm->port.xmit_fifo.ptr_const 0
PARAM_VALUE 0 acm->port.xmit_fifo.rectype 0
PARAM_VALUE 0 acm->port.xmit_fifo.type 0
PARAM_VALUE 0 acm->rx_buflimit 1,16
PARAM_VALUE 0 acm->wioctl.head.next 4096-ptr_max
PARAM_VALUE 0 acm->wioctl.head.next->next 4096-ptr_max
PARAM_VALUE 0 acm->wioctl.head.prev 4096-ptr_max
PARAM_VALUE 0 acm->wioctl.head.prev->next 4096-ptr_max
PARAM_VALUE 0 acm->wioctl.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 acm->writesize 0-40940
BUF_SIZE 0 acm 3552
BUF_SIZE 0 acm->ctrl_buffer s32min-s32max
BUF_SIZE 0 acm->port.ops 40
DATA_SOURCE 0 acm r _kzalloc_noprof
FUZZY_MAX 0 acm->combined_interfaces 1
BIT_INFO 0 acm->in 0x40000080,0xffffffff
BIT_INFO 0 acm->out 0x40000000,0xffffffff
BIT_INFO 0 acm->readsize 0x0,0x7fffffff
BIT_INFO 0 acm->rx_buflimit 0x0,0x11
MEM_ZERO 0 &acm->delayed
MEM_ZERO 0 &acm->port
RX_PATH
TASK_NOT_RUNNING