Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ubifs/io.c ubifs_wbuf_sync_nolock() -> (struct ubifs_wbuf)->sync_callback()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->buds_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->dbg->pc_cnt 1-u32max
PARAM_VALUE 0 c->dbg->pc_cnt_max 0
PARAM_VALUE 0 c->dbg->pc_delay 1-2
PARAM_VALUE 0 c->ubi->mode s32min-0,2-s32max
PARAM_VALUE 0 c->ubi->vol->reserved_pebs 1-s32max
PARAM_VALUE 0 c->ubi->vol->upd_marker 0
PARAM_VALUE 0 c->ubi->vol->vol_id 0-2147483646
PARAM_VALUE 0 c->ubi->vol->vol_type s32min-3,5-s32max
PARAM_VALUE 1 lnum 0-2147483646
CAPPED_DATA 0 c->ubi->vol->reserved_pebs 1
CAPPED_DATA 0 c->ubi->vol->vol_id 1
CAPPED_DATA 1 lnum 1
CONTAINER 0 *(-40+0) $(-1)
CONTAINER 1 *(-40+16) $(-1)
PARAM_COMPARE 0 c->ubi->vol->reserved_pebs > $1
PARAM_COMPARE 1 lnum < $0->ubi->vol->reserved_pebs
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &c->commit_sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &wbuf->io_mutex
HALF_LOCKED2 &wbuf->io_mutex

fs/ubifs/io.c ubifs_wbuf_write_nolock() -> (struct ubifs_wbuf)->sync_callback()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 3 pad 0
CONTAINER 0 *(-40+0) $(-1)
CONTAINER 1 *(-40+16) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wbuf->io_mutex