Open Menu /

Documented in 1 files:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/acct.c acct_write_process() -> check_free_space()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->file 4096-ptr_max
CAPPED_DATA 0 c 1
DATA_SOURCE 0 c $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

fs/ubifs/super.c ubifs_remount_rw() -> check_free_space()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->space_fixup 0
PARAM_VALUE 0 c->space_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->umount_mutex.dep_map->name 0-255
PARAM_VALUE 0 c->umount_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 c->umount_mutex.wait_lock.dep_map->name 0-255
BUF_SIZE 0 c 1-s32max
BUF_SIZE 0 c 1-s32max
CAPPED_DATA 0 &c->umount_mutex 1
DATA_SOURCE 0 c $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 c unit_byte
LOCK2 0 &c->umount_mutex
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount
TYPE_LOCK (struct ubifs_info)->umount_mutex