Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/buildid.c freader_cleanup() -> freader_put_folio()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->buf 1-u64max
PARAM_VALUE 0 r->folio 0-1025,1027-1029,1031-u64max
DATA_SOURCE 0 r $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/buildid.c freader_get_folio() -> freader_put_folio()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->buf 1-u64max
PARAM_VALUE 0 r->file 4096-ptr_max
PARAM_VALUE 0 r->file->f_mapping 4096-ptr_max
PARAM_VALUE 0 r->file->f_mapping->a_ops 0-7155369007361417215,7155369007361417217-u64max
PARAM_VALUE 0 r->folio 0-1025,1027-1029,1031-u64max
PARAM_VALUE 0 r->may_fault 0
DATA_SOURCE 0 r $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 r->file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 r->file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 r->file->f_path.moved->d_inode->i_size