Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fuse/virtio_fs.c virtio_fs_requests_done_work() -> virtio_fs_verify_response()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 1-u64max |
| DATA_SOURCE | 0 | req | r virtqueue_get_buf |
| PREEMPT_ADD | <- disables preempt | ||
| HOST_DATA | 0 | req->count.refs.counter | s32min-s32max |
| HOST_DATA | 0 | req->create_time | 0-u64max |
| HOST_DATA | 0 | req->flags | 0-u64max |
| HOST_DATA | 0 | req->in.h.gid | 0-u32max |
| HOST_DATA | 0 | req->in.h.len | 0-u32max |
| HOST_DATA | 0 | req->in.h.nodeid | 0-u64max |
| HOST_DATA | 0 | req->in.h.opcode | 0-u32max |
| HOST_DATA | 0 | req->in.h.padding | 0-u16max |
| HOST_DATA | 0 | req->in.h.pid | 0-u32max |
| HOST_DATA | 0 | req->in.h.total_extlen | 0-u16max |
| HOST_DATA | 0 | req->in.h.uid | 0-u32max |
| HOST_DATA | 0 | req->in.h.unique | 0-u64max |
| HOST_DATA | 0 | req->out.h.error | s32min-s32max |
| HOST_DATA | 0 | req->out.h.len | 0-u32max |
| HOST_DATA | 0 | req->out.h.unique | 0-u64max |
| HOST_DATA | 1 | len | 0-u32max |
| LOCK2 | &fsvq->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct virtio_fs_vq)->lock |