Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/poll.c fuse_file_poll() -> fuse_register_polled_file()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->no_poll 0
PARAM_VALUE 1 ff 4096-ptr_max
PARAM_VALUE 1 ff->fm 4096-ptr_max
PARAM_VALUE 1 ff->fm->fc 4096-ptr_max
PARAM_VALUE 1 ff->poll_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 ff->poll_wait.head.next->prev 4096-ptr_max
PARAM_VALUE 1 ff->poll_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 ff->poll_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 ff->poll_wait.lock.rlock.dep_map->name 0-255
BUF_SIZE 1 ff s32min-(-2),1-s32max
BUF_SIZE 1 ff s32min-(-2),1-s32max
PARAM_COMPARE 1 &ff->poll_wait.head != $1->poll_wait.head.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu