Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/dev.c fuse_dev_do_read() -> fuse_read_forget()

Type Parameter Key Value
PARAM_VALUE 0 fch 4096-ptr_max
PARAM_VALUE 0 fch->iq.connected 1-u32max
PARAM_VALUE 0 fch->iq.forget_list_head.next 1-u64max
PARAM_VALUE 0 fch->iq.interrupts.next 4096-ptr_max
PARAM_VALUE 0 fch->iq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fiq 4096-ptr_max
PARAM_VALUE 1 fiq->connected 1-u32max
PARAM_VALUE 1 fiq->forget_list_head.next 1-u64max
PARAM_VALUE 1 fiq->interrupts.next 4096-ptr_max
PARAM_VALUE 1 fiq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 cs 463010508728725504,2539242712833417216
PARAM_VALUE 2 cs->currbuf 0
PARAM_VALUE 2 cs->is_uring 0
PARAM_VALUE 2 cs->iter 0,4096-ptr_max
PARAM_VALUE 2 cs->len 0
PARAM_VALUE 2 cs->move_folios 0
PARAM_VALUE 2 cs->nr_segs 0
PARAM_VALUE 2 cs->offset 0
PARAM_VALUE 2 cs->pg 0
PARAM_VALUE 2 cs->pipe 0,4096-ptr_max
PARAM_VALUE 2 cs->pipebufs 0,16,4096-ptr_max
PARAM_VALUE 2 cs->req 0
PARAM_VALUE 2 cs->ring.copied_sz 0
PARAM_VALUE 2 cs->write 1
PARAM_VALUE 3 nbytes 8192-2147479552
BUF_SIZE 1 fiq 272
CAPPED_DATA 1 &fiq->interrupts 1
CAPPED_DATA 1 &fiq->pending 1
CAPPED_DATA 3 nbytes 1
CAPPED_DATA 3 nbytes 1
DATA_SOURCE 2 cs $2
DATA_SOURCE 3 nbytes $3
PARAM_COMPARE 0 &fch->iq == $1
PARAM_COMPARE 1 &fiq->interrupts == $1->interrupts.next
BIT_INFO 3 nbytes 0x0,0xffffffff
NOSPEC 3 nbytes
MEM_ZERO 2 cs
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 nbytes 8192-2147479552[c]
UNITS 3 nbytes unit_byte
LOCK2 1 &fiq->lock
TYPE_LOCK (struct fuse_iqueue)->lock