Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/autofs/dev-ioctl.c autofs_dev_ioctl_fail() -> autofs_wait_release()

Type Parameter Key Value
PARAM_VALUE 0 sbi 0,4096-ptr_max
PARAM_VALUE 2 status s32min-(-1)
BUF_SIZE 0 sbi 0-s32max
BUF_SIZE 0 sbi 0-s32max
DATA_SOURCE 0 sbi $1
USER_DATA 1 wait_queue_token 0-u32max
USER_DATA 2 status s32min-(-1)
UNITS 0 sbi unit_byte

fs/autofs/dev-ioctl.c autofs_dev_ioctl_ready() -> autofs_wait_release()

Type Parameter Key Value
PARAM_VALUE 0 sbi 0,4096-ptr_max
PARAM_VALUE 2 status 0
BUF_SIZE 0 sbi 0-s32max
BUF_SIZE 0 sbi 0-s32max
DATA_SOURCE 0 sbi $1
USER_DATA 1 wait_queue_token 0-u32max
UNITS 0 sbi unit_byte

fs/autofs/root.c autofs_root_ioctl_unlocked() -> autofs_wait_release()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 2 status 0
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 1 wait_queue_token $3
USER_DATA 1 wait_queue_token 0-u32max
UNITS 0 sbi unit_byte

fs/autofs/root.c autofs_root_ioctl_unlocked() -> autofs_wait_release()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 2 status (-2)
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 1 wait_queue_token $3
USER_DATA 1 wait_queue_token 0-u32max
UNITS 0 sbi unit_byte

fs/autofs/waitq.c autofs_notify_daemon() -> autofs_wait_release()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->oz_pgrp 0,4096-ptr_max
PARAM_VALUE 0 sbi->pipe 4096-ptr_max
PARAM_VALUE 0 sbi->pipe->f_cred 4096-ptr_max
PARAM_VALUE 0 sbi->pipe->f_cred->user_ns 4096-ptr_max
PARAM_VALUE 0 sbi->pipe->f_path->dentry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 sbi->pipe->f_path->dentry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sbi->pipe->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 sbi->pipe->f_path.dentry->d_parent->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 sbi->pipe_mutex.dep_map->name 0-255
PARAM_VALUE 0 sbi->pipe_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sbi->pipe_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sbi->pipe_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sbi->pipe_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sbi->pipe_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sbi->pipe_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sbi->pipe_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sbi->pipe_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sbi->queues 4096-ptr_max
PARAM_VALUE 0 sbi->queues->next 0,4096-ptr_max
PARAM_VALUE 0 sbi->queues->wait_queue_token 1-12
PARAM_VALUE 0 sbi->sb 4096-ptr_max
PARAM_VALUE 0 sbi->sb->s_root 4096-ptr_max
PARAM_VALUE 0 sbi->wq_mutex.dep_map->name 0-255
PARAM_VALUE 0 sbi->wq_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sbi->wq_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sbi->wq_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sbi->wq_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sbi->wq_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sbi->wq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sbi->wq_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sbi->wq_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sbi->wq_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 wait_queue_token 1-12
BUF_SIZE 0 sbi 0-s32max
BUF_SIZE 0 sbi 0-s32max
BUF_SIZE 0 sbi->queues 160
CAPPED_DATA 0 &sbi->wq_mutex 1
DATA_SOURCE 0 sbi $0
DATA_SOURCE 2 status r autofs_write
BIT_INFO 0 sbi->flags 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbi unit_byte